H-Termination proof of /home/matraf/haskell/eval_FullyBlown

YES 4.0600000000000005 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/empty.hs
H-Termination of the given Haskell-Program with start terms could successfully be proven:

↳ HASKELL

  ↳ BR

mainModule Main

((abs :: Num a => a -> a) :: Num a => a -> a)

module Main where

import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

mainModule Main

((abs :: Num a => a -> a) :: Num a => a -> a)

module Main where

import qualified Prelude

Cond Reductions:
The following Function with conditions

undefined

| False

= undefined

is transformed to

undefined = undefined1

undefined0 True = undefined

undefined1 = undefined0 False

The following Function with conditions

absReal x

| x >= 0

= x

| otherwise

= `negate` x

is transformed to

absReal x = absReal2 x

absReal0 x True = `negate` x

absReal1 x True = x

absReal1 x False = absReal0 x otherwise

absReal2 x = absReal1 x (x >= 0)

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

mainModule Main

((abs :: Num a => a -> a) :: Num a => a -> a)

module Main where

import qualified Prelude

Num Reduction: All numbers are transformed to thier corresponding representation with Pos, Neg, Succ and Zero.

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

mainModule Main

(abs :: Num a => a -> a)

module Main where

import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="abs\n  Num a",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="abs vx3\n  Num a",fontsize=16,color="blue",shape="box"];2812[label="abs :: Integer -> Integer",fontsize=10,color="white",style="solid",shape="box"];3 -> 2812[label="",style="solid", color="blue", weight=9];
2812 -> 4[label="",style="solid", color="blue", weight=3];
2813[label="abs :: (Ratio a) -> Ratio a",fontsize=10,color="white",style="solid",shape="box"];3 -> 2813[label="",style="solid", color="blue", weight=9];
2813 -> 5[label="",style="solid", color="blue", weight=3];
2814[label="abs :: Int -> Int",fontsize=10,color="white",style="solid",shape="box"];3 -> 2814[label="",style="solid", color="blue", weight=9];
2814 -> 6[label="",style="solid", color="blue", weight=3];
2815[label="abs :: Double -> Double",fontsize=10,color="white",style="solid",shape="box"];3 -> 2815[label="",style="solid", color="blue", weight=9];
2815 -> 7[label="",style="solid", color="blue", weight=3];
2816[label="abs :: Float -> Float",fontsize=10,color="white",style="solid",shape="box"];3 -> 2816[label="",style="solid", color="blue", weight=9];
2816 -> 8[label="",style="solid", color="blue", weight=3];
4[label="abs vx3",fontsize=16,color="black",shape="triangle"];4 -> 9[label="",style="solid", color="black", weight=3];
5[label="abs vx3\n  Integral a",fontsize=16,color="burlywood",shape="box"];2817[label="vx3/vx30 :% vx31",fontsize=10,color="white",style="solid",shape="box"];5 -> 2817[label="",style="solid", color="burlywood", weight=9];
2817 -> 10[label="",style="solid", color="burlywood", weight=3];
6[label="abs vx3",fontsize=16,color="black",shape="triangle"];6 -> 11[label="",style="solid", color="black", weight=3];
7[label="abs vx3",fontsize=16,color="black",shape="box"];7 -> 12[label="",style="solid", color="black", weight=3];
8[label="abs vx3",fontsize=16,color="black",shape="box"];8 -> 13[label="",style="solid", color="black", weight=3];
9[label="absReal vx3",fontsize=16,color="black",shape="box"];9 -> 14[label="",style="solid", color="black", weight=3];
10[label="abs (vx30 :% vx31)\n  Integral a",fontsize=16,color="black",shape="box"];10 -> 15[label="",style="solid", color="black", weight=3];
11[label="absReal vx3",fontsize=16,color="black",shape="box"];11 -> 16[label="",style="solid", color="black", weight=3];
12[label="absReal vx3",fontsize=16,color="black",shape="box"];12 -> 17[label="",style="solid", color="black", weight=3];
13[label="absReal vx3",fontsize=16,color="black",shape="box"];13 -> 18[label="",style="solid", color="black", weight=3];
14[label="absReal2 vx3",fontsize=16,color="black",shape="box"];14 -> 19[label="",style="solid", color="black", weight=3];
15[label="abs vx30 :% vx31\n  Integral a",fontsize=16,color="green",shape="box"];15 -> 20[label="",style="dashed", color="green", weight=3];
16[label="absReal2 vx3",fontsize=16,color="black",shape="box"];16 -> 21[label="",style="solid", color="black", weight=3];
17[label="absReal2 vx3",fontsize=16,color="black",shape="box"];17 -> 22[label="",style="solid", color="black", weight=3];
18[label="absReal2 vx3",fontsize=16,color="black",shape="box"];18 -> 23[label="",style="solid", color="black", weight=3];
19[label="absReal1 vx3 (vx3 >= fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];19 -> 24[label="",style="solid", color="black", weight=3];
20[label="abs vx30\n  Integral a",fontsize=16,color="blue",shape="box"];2818[label="abs :: Integer -> Integer",fontsize=10,color="white",style="solid",shape="box"];20 -> 2818[label="",style="solid", color="blue", weight=9];
2818 -> 25[label="",style="solid", color="blue", weight=3];
2819[label="abs :: Int -> Int",fontsize=10,color="white",style="solid",shape="box"];20 -> 2819[label="",style="solid", color="blue", weight=9];
2819 -> 26[label="",style="solid", color="blue", weight=3];
21[label="absReal1 vx3 (vx3 >= fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];21 -> 27[label="",style="solid", color="black", weight=3];
22[label="absReal1 vx3 (vx3 >= fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];22 -> 28[label="",style="solid", color="black", weight=3];
23[label="absReal1 vx3 (vx3 >= fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];23 -> 29[label="",style="solid", color="black", weight=3];
24[label="absReal1 vx3 (compare vx3 (fromInt (Pos Zero)) /= LT)",fontsize=16,color="black",shape="box"];24 -> 30[label="",style="solid", color="black", weight=3];
25 -> 4[label="",style="dashed", color="red", weight=0];
25[label="abs vx30",fontsize=16,color="magenta"];25 -> 31[label="",style="dashed", color="magenta", weight=3];
26 -> 6[label="",style="dashed", color="red", weight=0];
26[label="abs vx30",fontsize=16,color="magenta"];26 -> 32[label="",style="dashed", color="magenta", weight=3];
27[label="absReal1 vx3 (compare vx3 (fromInt (Pos Zero)) /= LT)",fontsize=16,color="black",shape="box"];27 -> 33[label="",style="solid", color="black", weight=3];
28[label="absReal1 vx3 (compare vx3 (fromInt (Pos Zero)) /= LT)",fontsize=16,color="black",shape="box"];28 -> 34[label="",style="solid", color="black", weight=3];
29[label="absReal1 vx3 (compare vx3 (fromInt (Pos Zero)) /= LT)",fontsize=16,color="black",shape="box"];29 -> 35[label="",style="solid", color="black", weight=3];
30[label="absReal1 vx3 (not (compare vx3 (fromInt (Pos Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];2822[label="vx3/Integer vx30",fontsize=10,color="white",style="solid",shape="box"];30 -> 2822[label="",style="solid", color="burlywood", weight=9];
2822 -> 36[label="",style="solid", color="burlywood", weight=3];
31[label="vx30",fontsize=16,color="green",shape="box"];32[label="vx30",fontsize=16,color="green",shape="box"];33[label="absReal1 vx3 (not (compare vx3 (fromInt (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];33 -> 37[label="",style="solid", color="black", weight=3];
34[label="absReal1 vx3 (not (compare vx3 (fromInt (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];34 -> 38[label="",style="solid", color="black", weight=3];
35[label="absReal1 vx3 (not (compare vx3 (fromInt (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];35 -> 39[label="",style="solid", color="black", weight=3];
36[label="absReal1 (Integer vx30) (not (compare (Integer vx30) (fromInt (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];36 -> 40[label="",style="solid", color="black", weight=3];
37[label="absReal1 vx3 (not (primCmpInt vx3 (fromInt (Pos Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];2823[label="vx3/Pos vx30",fontsize=10,color="white",style="solid",shape="box"];37 -> 2823[label="",style="solid", color="burlywood", weight=9];
2823 -> 41[label="",style="solid", color="burlywood", weight=3];
2824[label="vx3/Neg vx30",fontsize=10,color="white",style="solid",shape="box"];37 -> 2824[label="",style="solid", color="burlywood", weight=9];
2824 -> 42[label="",style="solid", color="burlywood", weight=3];
38[label="absReal1 vx3 (not (primCmpDouble vx3 (fromInt (Pos Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];2825[label="vx3/Double vx30 vx31",fontsize=10,color="white",style="solid",shape="box"];38 -> 2825[label="",style="solid", color="burlywood", weight=9];
2825 -> 43[label="",style="solid", color="burlywood", weight=3];
39[label="absReal1 vx3 (not (primCmpFloat vx3 (fromInt (Pos Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];2826[label="vx3/Float vx30 vx31",fontsize=10,color="white",style="solid",shape="box"];39 -> 2826[label="",style="solid", color="burlywood", weight=9];
2826 -> 44[label="",style="solid", color="burlywood", weight=3];
40[label="absReal1 (Integer vx30) (not (compare (Integer vx30) (Integer (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];40 -> 45[label="",style="solid", color="black", weight=3];
41[label="absReal1 (Pos vx30) (not (primCmpInt (Pos vx30) (fromInt (Pos Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];2827[label="vx30/Succ vx300",fontsize=10,color="white",style="solid",shape="box"];41 -> 2827[label="",style="solid", color="burlywood", weight=9];
2827 -> 46[label="",style="solid", color="burlywood", weight=3];
2828[label="vx30/Zero",fontsize=10,color="white",style="solid",shape="box"];41 -> 2828[label="",style="solid", color="burlywood", weight=9];
2828 -> 47[label="",style="solid", color="burlywood", weight=3];
42[label="absReal1 (Neg vx30) (not (primCmpInt (Neg vx30) (fromInt (Pos Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];2829[label="vx30/Succ vx300",fontsize=10,color="white",style="solid",shape="box"];42 -> 2829[label="",style="solid", color="burlywood", weight=9];
2829 -> 48[label="",style="solid", color="burlywood", weight=3];
2830[label="vx30/Zero",fontsize=10,color="white",style="solid",shape="box"];42 -> 2830[label="",style="solid", color="burlywood", weight=9];
2830 -> 49[label="",style="solid", color="burlywood", weight=3];
43[label="absReal1 (Double vx30 vx31) (not (primCmpDouble (Double vx30 vx31) (fromInt (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];43 -> 50[label="",style="solid", color="black", weight=3];
44[label="absReal1 (Float vx30 vx31) (not (primCmpFloat (Float vx30 vx31) (fromInt (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];44 -> 51[label="",style="solid", color="black", weight=3];
45[label="absReal1 (Integer vx30) (not (primCmpInt vx30 (Pos Zero) == LT))",fontsize=16,color="burlywood",shape="box"];2831[label="vx30/Pos vx300",fontsize=10,color="white",style="solid",shape="box"];45 -> 2831[label="",style="solid", color="burlywood", weight=9];
2831 -> 52[label="",style="solid", color="burlywood", weight=3];
2832[label="vx30/Neg vx300",fontsize=10,color="white",style="solid",shape="box"];45 -> 2832[label="",style="solid", color="burlywood", weight=9];
2832 -> 53[label="",style="solid", color="burlywood", weight=3];
46[label="absReal1 (Pos (Succ vx300)) (not (primCmpInt (Pos (Succ vx300)) (fromInt (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];46 -> 54[label="",style="solid", color="black", weight=3];
47[label="absReal1 (Pos Zero) (not (primCmpInt (Pos Zero) (fromInt (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];47 -> 55[label="",style="solid", color="black", weight=3];
48[label="absReal1 (Neg (Succ vx300)) (not (primCmpInt (Neg (Succ vx300)) (fromInt (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];48 -> 56[label="",style="solid", color="black", weight=3];
49[label="absReal1 (Neg Zero) (not (primCmpInt (Neg Zero) (fromInt (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];49 -> 57[label="",style="solid", color="black", weight=3];
50[label="absReal1 (Double vx30 vx31) (not (primCmpDouble (Double vx30 vx31) (primIntToDouble (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];50 -> 58[label="",style="solid", color="black", weight=3];
51[label="absReal1 (Float vx30 vx31) (not (primCmpFloat (Float vx30 vx31) (primIntToFloat (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];51 -> 59[label="",style="solid", color="black", weight=3];
52[label="absReal1 (Integer (Pos vx300)) (not (primCmpInt (Pos vx300) (Pos Zero) == LT))",fontsize=16,color="burlywood",shape="box"];2833[label="vx300/Succ vx3000",fontsize=10,color="white",style="solid",shape="box"];52 -> 2833[label="",style="solid", color="burlywood", weight=9];
2833 -> 60[label="",style="solid", color="burlywood", weight=3];
2834[label="vx300/Zero",fontsize=10,color="white",style="solid",shape="box"];52 -> 2834[label="",style="solid", color="burlywood", weight=9];
2834 -> 61[label="",style="solid", color="burlywood", weight=3];
53[label="absReal1 (Integer (Neg vx300)) (not (primCmpInt (Neg vx300) (Pos Zero) == LT))",fontsize=16,color="burlywood",shape="box"];2835[label="vx300/Succ vx3000",fontsize=10,color="white",style="solid",shape="box"];53 -> 2835[label="",style="solid", color="burlywood", weight=9];
2835 -> 62[label="",style="solid", color="burlywood", weight=3];
2836[label="vx300/Zero",fontsize=10,color="white",style="solid",shape="box"];53 -> 2836[label="",style="solid", color="burlywood", weight=9];
2836 -> 63[label="",style="solid", color="burlywood", weight=3];
54[label="absReal1 (Pos (Succ vx300)) (not (primCmpInt (Pos (Succ vx300)) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];54 -> 64[label="",style="solid", color="black", weight=3];
55[label="absReal1 (Pos Zero) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];55 -> 65[label="",style="solid", color="black", weight=3];
56[label="absReal1 (Neg (Succ vx300)) (not (primCmpInt (Neg (Succ vx300)) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];56 -> 66[label="",style="solid", color="black", weight=3];
57[label="absReal1 (Neg Zero) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];57 -> 67[label="",style="solid", color="black", weight=3];
58[label="absReal1 (Double vx30 vx31) (not (primCmpDouble (Double vx30 vx31) (Double (Pos Zero) (Pos (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];58 -> 68[label="",style="solid", color="black", weight=3];
59[label="absReal1 (Float vx30 vx31) (not (primCmpFloat (Float vx30 vx31) (Float (Pos Zero) (Pos (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];59 -> 69[label="",style="solid", color="black", weight=3];
60[label="absReal1 (Integer (Pos (Succ vx3000))) (not (primCmpInt (Pos (Succ vx3000)) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];60 -> 70[label="",style="solid", color="black", weight=3];
61[label="absReal1 (Integer (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];61 -> 71[label="",style="solid", color="black", weight=3];
62[label="absReal1 (Integer (Neg (Succ vx3000))) (not (primCmpInt (Neg (Succ vx3000)) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];62 -> 72[label="",style="solid", color="black", weight=3];
63[label="absReal1 (Integer (Neg Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];63 -> 73[label="",style="solid", color="black", weight=3];
64[label="absReal1 (Pos (Succ vx300)) (not (primCmpNat (Succ vx300) Zero == LT))",fontsize=16,color="black",shape="box"];64 -> 74[label="",style="solid", color="black", weight=3];
65[label="absReal1 (Pos Zero) (not (EQ == LT))",fontsize=16,color="black",shape="box"];65 -> 75[label="",style="solid", color="black", weight=3];
66[label="absReal1 (Neg (Succ vx300)) (not (LT == LT))",fontsize=16,color="black",shape="box"];66 -> 76[label="",style="solid", color="black", weight=3];
67[label="absReal1 (Neg Zero) (not (EQ == LT))",fontsize=16,color="black",shape="box"];67 -> 77[label="",style="solid", color="black", weight=3];
68[label="absReal1 (Double vx30 vx31) (not (compare (vx30 * Pos Zero) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];68 -> 78[label="",style="solid", color="black", weight=3];
69[label="absReal1 (Float vx30 vx31) (not (compare (vx30 * Pos Zero) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];69 -> 79[label="",style="solid", color="black", weight=3];
70[label="absReal1 (Integer (Pos (Succ vx3000))) (not (primCmpNat (Succ vx3000) Zero == LT))",fontsize=16,color="black",shape="box"];70 -> 80[label="",style="solid", color="black", weight=3];
71[label="absReal1 (Integer (Pos Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];71 -> 81[label="",style="solid", color="black", weight=3];
72[label="absReal1 (Integer (Neg (Succ vx3000))) (not (LT == LT))",fontsize=16,color="black",shape="box"];72 -> 82[label="",style="solid", color="black", weight=3];
73[label="absReal1 (Integer (Neg Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];73 -> 83[label="",style="solid", color="black", weight=3];
74[label="absReal1 (Pos (Succ vx300)) (not (GT == LT))",fontsize=16,color="black",shape="box"];74 -> 84[label="",style="solid", color="black", weight=3];
75[label="absReal1 (Pos Zero) (not False)",fontsize=16,color="black",shape="box"];75 -> 85[label="",style="solid", color="black", weight=3];
76[label="absReal1 (Neg (Succ vx300)) (not True)",fontsize=16,color="black",shape="box"];76 -> 86[label="",style="solid", color="black", weight=3];
77[label="absReal1 (Neg Zero) (not False)",fontsize=16,color="black",shape="box"];77 -> 87[label="",style="solid", color="black", weight=3];
78[label="absReal1 (Double vx30 vx31) (not (primCmpInt (vx30 * Pos Zero) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];78 -> 88[label="",style="solid", color="black", weight=3];
79[label="absReal1 (Float vx30 vx31) (not (primCmpInt (vx30 * Pos Zero) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];79 -> 89[label="",style="solid", color="black", weight=3];
80[label="absReal1 (Integer (Pos (Succ vx3000))) (not (GT == LT))",fontsize=16,color="black",shape="box"];80 -> 90[label="",style="solid", color="black", weight=3];
81[label="absReal1 (Integer (Pos Zero)) (not False)",fontsize=16,color="black",shape="box"];81 -> 91[label="",style="solid", color="black", weight=3];
82[label="absReal1 (Integer (Neg (Succ vx3000))) (not True)",fontsize=16,color="black",shape="box"];82 -> 92[label="",style="solid", color="black", weight=3];
83[label="absReal1 (Integer (Neg Zero)) (not False)",fontsize=16,color="black",shape="box"];83 -> 93[label="",style="solid", color="black", weight=3];
84[label="absReal1 (Pos (Succ vx300)) (not False)",fontsize=16,color="black",shape="box"];84 -> 94[label="",style="solid", color="black", weight=3];
85[label="absReal1 (Pos Zero) True",fontsize=16,color="black",shape="box"];85 -> 95[label="",style="solid", color="black", weight=3];
86[label="absReal1 (Neg (Succ vx300)) False",fontsize=16,color="black",shape="box"];86 -> 96[label="",style="solid", color="black", weight=3];
87[label="absReal1 (Neg Zero) True",fontsize=16,color="black",shape="box"];87 -> 97[label="",style="solid", color="black", weight=3];
88[label="absReal1 (Double vx30 vx31) (not (primCmpInt (primMulInt vx30 (Pos Zero)) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];2837[label="vx30/Pos vx300",fontsize=10,color="white",style="solid",shape="box"];88 -> 2837[label="",style="solid", color="burlywood", weight=9];
2837 -> 98[label="",style="solid", color="burlywood", weight=3];
2838[label="vx30/Neg vx300",fontsize=10,color="white",style="solid",shape="box"];88 -> 2838[label="",style="solid", color="burlywood", weight=9];
2838 -> 99[label="",style="solid", color="burlywood", weight=3];
89[label="absReal1 (Float vx30 vx31) (not (primCmpInt (primMulInt vx30 (Pos Zero)) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];2839[label="vx30/Pos vx300",fontsize=10,color="white",style="solid",shape="box"];89 -> 2839[label="",style="solid", color="burlywood", weight=9];
2839 -> 100[label="",style="solid", color="burlywood", weight=3];
2840[label="vx30/Neg vx300",fontsize=10,color="white",style="solid",shape="box"];89 -> 2840[label="",style="solid", color="burlywood", weight=9];
2840 -> 101[label="",style="solid", color="burlywood", weight=3];
90[label="absReal1 (Integer (Pos (Succ vx3000))) (not False)",fontsize=16,color="black",shape="box"];90 -> 102[label="",style="solid", color="black", weight=3];
91[label="absReal1 (Integer (Pos Zero)) True",fontsize=16,color="black",shape="box"];91 -> 103[label="",style="solid", color="black", weight=3];
92[label="absReal1 (Integer (Neg (Succ vx3000))) False",fontsize=16,color="black",shape="box"];92 -> 104[label="",style="solid", color="black", weight=3];
93[label="absReal1 (Integer (Neg Zero)) True",fontsize=16,color="black",shape="box"];93 -> 105[label="",style="solid", color="black", weight=3];
94[label="absReal1 (Pos (Succ vx300)) True",fontsize=16,color="black",shape="box"];94 -> 106[label="",style="solid", color="black", weight=3];
95[label="Pos Zero",fontsize=16,color="green",shape="box"];96[label="absReal0 (Neg (Succ vx300)) otherwise",fontsize=16,color="black",shape="box"];96 -> 107[label="",style="solid", color="black", weight=3];
97[label="Neg Zero",fontsize=16,color="green",shape="box"];98[label="absReal1 (Double (Pos vx300) vx31) (not (primCmpInt (primMulInt (Pos vx300) (Pos Zero)) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];98 -> 108[label="",style="solid", color="black", weight=3];
99[label="absReal1 (Double (Neg vx300) vx31) (not (primCmpInt (primMulInt (Neg vx300) (Pos Zero)) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];99 -> 109[label="",style="solid", color="black", weight=3];
100[label="absReal1 (Float (Pos vx300) vx31) (not (primCmpInt (primMulInt (Pos vx300) (Pos Zero)) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];100 -> 110[label="",style="solid", color="black", weight=3];
101[label="absReal1 (Float (Neg vx300) vx31) (not (primCmpInt (primMulInt (Neg vx300) (Pos Zero)) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];101 -> 111[label="",style="solid", color="black", weight=3];
102[label="absReal1 (Integer (Pos (Succ vx3000))) True",fontsize=16,color="black",shape="box"];102 -> 112[label="",style="solid", color="black", weight=3];
103[label="Integer (Pos Zero)",fontsize=16,color="green",shape="box"];104[label="absReal0 (Integer (Neg (Succ vx3000))) otherwise",fontsize=16,color="black",shape="box"];104 -> 113[label="",style="solid", color="black", weight=3];
105[label="Integer (Neg Zero)",fontsize=16,color="green",shape="box"];106[label="Pos (Succ vx300)",fontsize=16,color="green",shape="box"];107[label="absReal0 (Neg (Succ vx300)) True",fontsize=16,color="black",shape="box"];107 -> 114[label="",style="solid", color="black", weight=3];
108[label="absReal1 (Double (Pos vx300) vx31) (not (primCmpInt (Pos (primMulNat vx300 Zero)) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];2841[label="vx300/Succ vx3000",fontsize=10,color="white",style="solid",shape="box"];108 -> 2841[label="",style="solid", color="burlywood", weight=9];
2841 -> 115[label="",style="solid", color="burlywood", weight=3];
2842[label="vx300/Zero",fontsize=10,color="white",style="solid",shape="box"];108 -> 2842[label="",style="solid", color="burlywood", weight=9];
2842 -> 116[label="",style="solid", color="burlywood", weight=3];
109[label="absReal1 (Double (Neg vx300) vx31) (not (primCmpInt (Neg (primMulNat vx300 Zero)) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];2843[label="vx300/Succ vx3000",fontsize=10,color="white",style="solid",shape="box"];109 -> 2843[label="",style="solid", color="burlywood", weight=9];
2843 -> 117[label="",style="solid", color="burlywood", weight=3];
2844[label="vx300/Zero",fontsize=10,color="white",style="solid",shape="box"];109 -> 2844[label="",style="solid", color="burlywood", weight=9];
2844 -> 118[label="",style="solid", color="burlywood", weight=3];
110[label="absReal1 (Float (Pos vx300) vx31) (not (primCmpInt (Pos (primMulNat vx300 Zero)) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];2845[label="vx300/Succ vx3000",fontsize=10,color="white",style="solid",shape="box"];110 -> 2845[label="",style="solid", color="burlywood", weight=9];
2845 -> 119[label="",style="solid", color="burlywood", weight=3];
2846[label="vx300/Zero",fontsize=10,color="white",style="solid",shape="box"];110 -> 2846[label="",style="solid", color="burlywood", weight=9];
2846 -> 120[label="",style="solid", color="burlywood", weight=3];
111[label="absReal1 (Float (Neg vx300) vx31) (not (primCmpInt (Neg (primMulNat vx300 Zero)) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];2847[label="vx300/Succ vx3000",fontsize=10,color="white",style="solid",shape="box"];111 -> 2847[label="",style="solid", color="burlywood", weight=9];
2847 -> 121[label="",style="solid", color="burlywood", weight=3];
2848[label="vx300/Zero",fontsize=10,color="white",style="solid",shape="box"];111 -> 2848[label="",style="solid", color="burlywood", weight=9];
2848 -> 122[label="",style="solid", color="burlywood", weight=3];
112[label="Integer (Pos (Succ vx3000))",fontsize=16,color="green",shape="box"];113[label="absReal0 (Integer (Neg (Succ vx3000))) True",fontsize=16,color="black",shape="box"];113 -> 123[label="",style="solid", color="black", weight=3];
114[label="`negate` Neg (Succ vx300)",fontsize=16,color="black",shape="triangle"];114 -> 124[label="",style="solid", color="black", weight=3];
115[label="absReal1 (Double (Pos (Succ vx3000)) vx31) (not (primCmpInt (Pos (primMulNat (Succ vx3000) Zero)) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];115 -> 125[label="",style="solid", color="black", weight=3];
116[label="absReal1 (Double (Pos Zero) vx31) (not (primCmpInt (Pos (primMulNat Zero Zero)) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];116 -> 126[label="",style="solid", color="black", weight=3];
117[label="absReal1 (Double (Neg (Succ vx3000)) vx31) (not (primCmpInt (Neg (primMulNat (Succ vx3000) Zero)) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];117 -> 127[label="",style="solid", color="black", weight=3];
118[label="absReal1 (Double (Neg Zero) vx31) (not (primCmpInt (Neg (primMulNat Zero Zero)) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];118 -> 128[label="",style="solid", color="black", weight=3];
119[label="absReal1 (Float (Pos (Succ vx3000)) vx31) (not (primCmpInt (Pos (primMulNat (Succ vx3000) Zero)) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];119 -> 129[label="",style="solid", color="black", weight=3];
120[label="absReal1 (Float (Pos Zero) vx31) (not (primCmpInt (Pos (primMulNat Zero Zero)) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];120 -> 130[label="",style="solid", color="black", weight=3];
121[label="absReal1 (Float (Neg (Succ vx3000)) vx31) (not (primCmpInt (Neg (primMulNat (Succ vx3000) Zero)) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];121 -> 131[label="",style="solid", color="black", weight=3];
122[label="absReal1 (Float (Neg Zero) vx31) (not (primCmpInt (Neg (primMulNat Zero Zero)) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];122 -> 132[label="",style="solid", color="black", weight=3];
123[label="`negate` Integer (Neg (Succ vx3000))",fontsize=16,color="black",shape="box"];123 -> 133[label="",style="solid", color="black", weight=3];
124[label="primNegInt (Neg (Succ vx300))",fontsize=16,color="black",shape="triangle"];124 -> 134[label="",style="solid", color="black", weight=3];
125[label="absReal1 (Double (Pos (Succ vx3000)) vx31) (not (primCmpInt (Pos Zero) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];125 -> 135[label="",style="solid", color="black", weight=3];
126[label="absReal1 (Double (Pos Zero) vx31) (not (primCmpInt (Pos Zero) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];126 -> 136[label="",style="solid", color="black", weight=3];
127[label="absReal1 (Double (Neg (Succ vx3000)) vx31) (not (primCmpInt (Neg Zero) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];127 -> 137[label="",style="solid", color="black", weight=3];
128[label="absReal1 (Double (Neg Zero) vx31) (not (primCmpInt (Neg Zero) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];128 -> 138[label="",style="solid", color="black", weight=3];
129[label="absReal1 (Float (Pos (Succ vx3000)) vx31) (not (primCmpInt (Pos Zero) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];129 -> 139[label="",style="solid", color="black", weight=3];
130[label="absReal1 (Float (Pos Zero) vx31) (not (primCmpInt (Pos Zero) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];130 -> 140[label="",style="solid", color="black", weight=3];
131[label="absReal1 (Float (Neg (Succ vx3000)) vx31) (not (primCmpInt (Neg Zero) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];131 -> 141[label="",style="solid", color="black", weight=3];
132[label="absReal1 (Float (Neg Zero) vx31) (not (primCmpInt (Neg Zero) (vx31 * Pos (Succ Zero)) == LT))",fontsize=16,color="black",shape="box"];132 -> 142[label="",style="solid", color="black", weight=3];
133[label="Integer (primNegInt (Neg (Succ vx3000)))",fontsize=16,color="green",shape="box"];133 -> 143[label="",style="dashed", color="green", weight=3];
134[label="Pos (Succ vx300)",fontsize=16,color="green",shape="box"];135[label="absReal1 (Double (Pos (Succ vx3000)) vx31) (not (primCmpInt (Pos Zero) (primMulInt vx31 (Pos (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2849[label="vx31/Pos vx310",fontsize=10,color="white",style="solid",shape="box"];135 -> 2849[label="",style="solid", color="burlywood", weight=9];
2849 -> 144[label="",style="solid", color="burlywood", weight=3];
2850[label="vx31/Neg vx310",fontsize=10,color="white",style="solid",shape="box"];135 -> 2850[label="",style="solid", color="burlywood", weight=9];
2850 -> 145[label="",style="solid", color="burlywood", weight=3];
136[label="absReal1 (Double (Pos Zero) vx31) (not (primCmpInt (Pos Zero) (primMulInt vx31 (Pos (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2851[label="vx31/Pos vx310",fontsize=10,color="white",style="solid",shape="box"];136 -> 2851[label="",style="solid", color="burlywood", weight=9];
2851 -> 146[label="",style="solid", color="burlywood", weight=3];
2852[label="vx31/Neg vx310",fontsize=10,color="white",style="solid",shape="box"];136 -> 2852[label="",style="solid", color="burlywood", weight=9];
2852 -> 147[label="",style="solid", color="burlywood", weight=3];
137[label="absReal1 (Double (Neg (Succ vx3000)) vx31) (not (primCmpInt (Neg Zero) (primMulInt vx31 (Pos (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2853[label="vx31/Pos vx310",fontsize=10,color="white",style="solid",shape="box"];137 -> 2853[label="",style="solid", color="burlywood", weight=9];
2853 -> 148[label="",style="solid", color="burlywood", weight=3];
2854[label="vx31/Neg vx310",fontsize=10,color="white",style="solid",shape="box"];137 -> 2854[label="",style="solid", color="burlywood", weight=9];
2854 -> 149[label="",style="solid", color="burlywood", weight=3];
138[label="absReal1 (Double (Neg Zero) vx31) (not (primCmpInt (Neg Zero) (primMulInt vx31 (Pos (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2855[label="vx31/Pos vx310",fontsize=10,color="white",style="solid",shape="box"];138 -> 2855[label="",style="solid", color="burlywood", weight=9];
2855 -> 150[label="",style="solid", color="burlywood", weight=3];
2856[label="vx31/Neg vx310",fontsize=10,color="white",style="solid",shape="box"];138 -> 2856[label="",style="solid", color="burlywood", weight=9];
2856 -> 151[label="",style="solid", color="burlywood", weight=3];
139[label="absReal1 (Float (Pos (Succ vx3000)) vx31) (not (primCmpInt (Pos Zero) (primMulInt vx31 (Pos (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2857[label="vx31/Pos vx310",fontsize=10,color="white",style="solid",shape="box"];139 -> 2857[label="",style="solid", color="burlywood", weight=9];
2857 -> 152[label="",style="solid", color="burlywood", weight=3];
2858[label="vx31/Neg vx310",fontsize=10,color="white",style="solid",shape="box"];139 -> 2858[label="",style="solid", color="burlywood", weight=9];
2858 -> 153[label="",style="solid", color="burlywood", weight=3];
140[label="absReal1 (Float (Pos Zero) vx31) (not (primCmpInt (Pos Zero) (primMulInt vx31 (Pos (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2859[label="vx31/Pos vx310",fontsize=10,color="white",style="solid",shape="box"];140 -> 2859[label="",style="solid", color="burlywood", weight=9];
2859 -> 154[label="",style="solid", color="burlywood", weight=3];
2860[label="vx31/Neg vx310",fontsize=10,color="white",style="solid",shape="box"];140 -> 2860[label="",style="solid", color="burlywood", weight=9];
2860 -> 155[label="",style="solid", color="burlywood", weight=3];
141[label="absReal1 (Float (Neg (Succ vx3000)) vx31) (not (primCmpInt (Neg Zero) (primMulInt vx31 (Pos (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2861[label="vx31/Pos vx310",fontsize=10,color="white",style="solid",shape="box"];141 -> 2861[label="",style="solid", color="burlywood", weight=9];
2861 -> 156[label="",style="solid", color="burlywood", weight=3];
2862[label="vx31/Neg vx310",fontsize=10,color="white",style="solid",shape="box"];141 -> 2862[label="",style="solid", color="burlywood", weight=9];
2862 -> 157[label="",style="solid", color="burlywood", weight=3];
142[label="absReal1 (Float (Neg Zero) vx31) (not (primCmpInt (Neg Zero) (primMulInt vx31 (Pos (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2863[label="vx31/Pos vx310",fontsize=10,color="white",style="solid",shape="box"];142 -> 2863[label="",style="solid", color="burlywood", weight=9];
2863 -> 158[label="",style="solid", color="burlywood", weight=3];
2864[label="vx31/Neg vx310",fontsize=10,color="white",style="solid",shape="box"];142 -> 2864[label="",style="solid", color="burlywood", weight=9];
2864 -> 159[label="",style="solid", color="burlywood", weight=3];
143 -> 124[label="",style="dashed", color="red", weight=0];
143[label="primNegInt (Neg (Succ vx3000))",fontsize=16,color="magenta"];143 -> 160[label="",style="dashed", color="magenta", weight=3];
144[label="absReal1 (Double (Pos (Succ vx3000)) (Pos vx310)) (not (primCmpInt (Pos Zero) (primMulInt (Pos vx310) (Pos (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];144 -> 161[label="",style="solid", color="black", weight=3];
145[label="absReal1 (Double (Pos (Succ vx3000)) (Neg vx310)) (not (primCmpInt (Pos Zero) (primMulInt (Neg vx310) (Pos (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];145 -> 162[label="",style="solid", color="black", weight=3];
146[label="absReal1 (Double (Pos Zero) (Pos vx310)) (not (primCmpInt (Pos Zero) (primMulInt (Pos vx310) (Pos (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];146 -> 163[label="",style="solid", color="black", weight=3];
147[label="absReal1 (Double (Pos Zero) (Neg vx310)) (not (primCmpInt (Pos Zero) (primMulInt (Neg vx310) (Pos (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];147 -> 164[label="",style="solid", color="black", weight=3];
148[label="absReal1 (Double (Neg (Succ vx3000)) (Pos vx310)) (not (primCmpInt (Neg Zero) (primMulInt (Pos vx310) (Pos (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];148 -> 165[label="",style="solid", color="black", weight=3];
149[label="absReal1 (Double (Neg (Succ vx3000)) (Neg vx310)) (not (primCmpInt (Neg Zero) (primMulInt (Neg vx310) (Pos (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];149 -> 166[label="",style="solid", color="black", weight=3];
150[label="absReal1 (Double (Neg Zero) (Pos vx310)) (not (primCmpInt (Neg Zero) (primMulInt (Pos vx310) (Pos (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];150 -> 167[label="",style="solid", color="black", weight=3];
151[label="absReal1 (Double (Neg Zero) (Neg vx310)) (not (primCmpInt (Neg Zero) (primMulInt (Neg vx310) (Pos (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];151 -> 168[label="",style="solid", color="black", weight=3];
152[label="absReal1 (Float (Pos (Succ vx3000)) (Pos vx310)) (not (primCmpInt (Pos Zero) (primMulInt (Pos vx310) (Pos (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];152 -> 169[label="",style="solid", color="black", weight=3];
153[label="absReal1 (Float (Pos (Succ vx3000)) (Neg vx310)) (not (primCmpInt (Pos Zero) (primMulInt (Neg vx310) (Pos (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];153 -> 170[label="",style="solid", color="black", weight=3];
154[label="absReal1 (Float (Pos Zero) (Pos vx310)) (not (primCmpInt (Pos Zero) (primMulInt (Pos vx310) (Pos (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];154 -> 171[label="",style="solid", color="black", weight=3];
155[label="absReal1 (Float (Pos Zero) (Neg vx310)) (not (primCmpInt (Pos Zero) (primMulInt (Neg vx310) (Pos (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];155 -> 172[label="",style="solid", color="black", weight=3];
156[label="absReal1 (Float (Neg (Succ vx3000)) (Pos vx310)) (not (primCmpInt (Neg Zero) (primMulInt (Pos vx310) (Pos (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];156 -> 173[label="",style="solid", color="black", weight=3];
157[label="absReal1 (Float (Neg (Succ vx3000)) (Neg vx310)) (not (primCmpInt (Neg Zero) (primMulInt (Neg vx310) (Pos (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];157 -> 174[label="",style="solid", color="black", weight=3];
158[label="absReal1 (Float (Neg Zero) (Pos vx310)) (not (primCmpInt (Neg Zero) (primMulInt (Pos vx310) (Pos (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];158 -> 175[label="",style="solid", color="black", weight=3];
159[label="absReal1 (Float (Neg Zero) (Neg vx310)) (not (primCmpInt (Neg Zero) (primMulInt (Neg vx310) (Pos (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];159 -> 176[label="",style="solid", color="black", weight=3];
160[label="vx3000",fontsize=16,color="green",shape="box"];161[label="absReal1 (Double (Pos (Succ vx3000)) (Pos vx310)) (not (primCmpInt (Pos Zero) (Pos (primMulNat vx310 (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2866[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];161 -> 2866[label="",style="solid", color="burlywood", weight=9];
2866 -> 177[label="",style="solid", color="burlywood", weight=3];
2867[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];161 -> 2867[label="",style="solid", color="burlywood", weight=9];
2867 -> 178[label="",style="solid", color="burlywood", weight=3];
162[label="absReal1 (Double (Pos (Succ vx3000)) (Neg vx310)) (not (primCmpInt (Pos Zero) (Neg (primMulNat vx310 (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2868[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];162 -> 2868[label="",style="solid", color="burlywood", weight=9];
2868 -> 179[label="",style="solid", color="burlywood", weight=3];
2869[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];162 -> 2869[label="",style="solid", color="burlywood", weight=9];
2869 -> 180[label="",style="solid", color="burlywood", weight=3];
163[label="absReal1 (Double (Pos Zero) (Pos vx310)) (not (primCmpInt (Pos Zero) (Pos (primMulNat vx310 (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2870[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];163 -> 2870[label="",style="solid", color="burlywood", weight=9];
2870 -> 181[label="",style="solid", color="burlywood", weight=3];
2871[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];163 -> 2871[label="",style="solid", color="burlywood", weight=9];
2871 -> 182[label="",style="solid", color="burlywood", weight=3];
164[label="absReal1 (Double (Pos Zero) (Neg vx310)) (not (primCmpInt (Pos Zero) (Neg (primMulNat vx310 (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2872[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];164 -> 2872[label="",style="solid", color="burlywood", weight=9];
2872 -> 183[label="",style="solid", color="burlywood", weight=3];
2873[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];164 -> 2873[label="",style="solid", color="burlywood", weight=9];
2873 -> 184[label="",style="solid", color="burlywood", weight=3];
165[label="absReal1 (Double (Neg (Succ vx3000)) (Pos vx310)) (not (primCmpInt (Neg Zero) (Pos (primMulNat vx310 (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2874[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];165 -> 2874[label="",style="solid", color="burlywood", weight=9];
2874 -> 185[label="",style="solid", color="burlywood", weight=3];
2875[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];165 -> 2875[label="",style="solid", color="burlywood", weight=9];
2875 -> 186[label="",style="solid", color="burlywood", weight=3];
166[label="absReal1 (Double (Neg (Succ vx3000)) (Neg vx310)) (not (primCmpInt (Neg Zero) (Neg (primMulNat vx310 (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2876[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];166 -> 2876[label="",style="solid", color="burlywood", weight=9];
2876 -> 187[label="",style="solid", color="burlywood", weight=3];
2877[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];166 -> 2877[label="",style="solid", color="burlywood", weight=9];
2877 -> 188[label="",style="solid", color="burlywood", weight=3];
167[label="absReal1 (Double (Neg Zero) (Pos vx310)) (not (primCmpInt (Neg Zero) (Pos (primMulNat vx310 (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2878[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];167 -> 2878[label="",style="solid", color="burlywood", weight=9];
2878 -> 189[label="",style="solid", color="burlywood", weight=3];
2879[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];167 -> 2879[label="",style="solid", color="burlywood", weight=9];
2879 -> 190[label="",style="solid", color="burlywood", weight=3];
168[label="absReal1 (Double (Neg Zero) (Neg vx310)) (not (primCmpInt (Neg Zero) (Neg (primMulNat vx310 (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2880[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];168 -> 2880[label="",style="solid", color="burlywood", weight=9];
2880 -> 191[label="",style="solid", color="burlywood", weight=3];
2881[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];168 -> 2881[label="",style="solid", color="burlywood", weight=9];
2881 -> 192[label="",style="solid", color="burlywood", weight=3];
169[label="absReal1 (Float (Pos (Succ vx3000)) (Pos vx310)) (not (primCmpInt (Pos Zero) (Pos (primMulNat vx310 (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2882[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];169 -> 2882[label="",style="solid", color="burlywood", weight=9];
2882 -> 193[label="",style="solid", color="burlywood", weight=3];
2883[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];169 -> 2883[label="",style="solid", color="burlywood", weight=9];
2883 -> 194[label="",style="solid", color="burlywood", weight=3];
170[label="absReal1 (Float (Pos (Succ vx3000)) (Neg vx310)) (not (primCmpInt (Pos Zero) (Neg (primMulNat vx310 (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2884[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];170 -> 2884[label="",style="solid", color="burlywood", weight=9];
2884 -> 195[label="",style="solid", color="burlywood", weight=3];
2885[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];170 -> 2885[label="",style="solid", color="burlywood", weight=9];
2885 -> 196[label="",style="solid", color="burlywood", weight=3];
171[label="absReal1 (Float (Pos Zero) (Pos vx310)) (not (primCmpInt (Pos Zero) (Pos (primMulNat vx310 (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2886[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];171 -> 2886[label="",style="solid", color="burlywood", weight=9];
2886 -> 197[label="",style="solid", color="burlywood", weight=3];
2887[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];171 -> 2887[label="",style="solid", color="burlywood", weight=9];
2887 -> 198[label="",style="solid", color="burlywood", weight=3];
172[label="absReal1 (Float (Pos Zero) (Neg vx310)) (not (primCmpInt (Pos Zero) (Neg (primMulNat vx310 (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2888[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];172 -> 2888[label="",style="solid", color="burlywood", weight=9];
2888 -> 199[label="",style="solid", color="burlywood", weight=3];
2889[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];172 -> 2889[label="",style="solid", color="burlywood", weight=9];
2889 -> 200[label="",style="solid", color="burlywood", weight=3];
173[label="absReal1 (Float (Neg (Succ vx3000)) (Pos vx310)) (not (primCmpInt (Neg Zero) (Pos (primMulNat vx310 (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2890[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];173 -> 2890[label="",style="solid", color="burlywood", weight=9];
2890 -> 201[label="",style="solid", color="burlywood", weight=3];
2891[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];173 -> 2891[label="",style="solid", color="burlywood", weight=9];
2891 -> 202[label="",style="solid", color="burlywood", weight=3];
174[label="absReal1 (Float (Neg (Succ vx3000)) (Neg vx310)) (not (primCmpInt (Neg Zero) (Neg (primMulNat vx310 (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2892[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];174 -> 2892[label="",style="solid", color="burlywood", weight=9];
2892 -> 203[label="",style="solid", color="burlywood", weight=3];
2893[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];174 -> 2893[label="",style="solid", color="burlywood", weight=9];
2893 -> 204[label="",style="solid", color="burlywood", weight=3];
175[label="absReal1 (Float (Neg Zero) (Pos vx310)) (not (primCmpInt (Neg Zero) (Pos (primMulNat vx310 (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2894[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];175 -> 2894[label="",style="solid", color="burlywood", weight=9];
2894 -> 205[label="",style="solid", color="burlywood", weight=3];
2895[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];175 -> 2895[label="",style="solid", color="burlywood", weight=9];
2895 -> 206[label="",style="solid", color="burlywood", weight=3];
176[label="absReal1 (Float (Neg Zero) (Neg vx310)) (not (primCmpInt (Neg Zero) (Neg (primMulNat vx310 (Succ Zero))) == LT))",fontsize=16,color="burlywood",shape="box"];2896[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];176 -> 2896[label="",style="solid", color="burlywood", weight=9];
2896 -> 207[label="",style="solid", color="burlywood", weight=3];
2897[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];176 -> 2897[label="",style="solid", color="burlywood", weight=9];
2897 -> 208[label="",style="solid", color="burlywood", weight=3];
177[label="absReal1 (Double (Pos (Succ vx3000)) (Pos (Succ vx3100))) (not (primCmpInt (Pos Zero) (Pos (primMulNat (Succ vx3100) (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];177 -> 209[label="",style="solid", color="black", weight=3];
178[label="absReal1 (Double (Pos (Succ vx3000)) (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos (primMulNat Zero (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];178 -> 210[label="",style="solid", color="black", weight=3];
179[label="absReal1 (Double (Pos (Succ vx3000)) (Neg (Succ vx3100))) (not (primCmpInt (Pos Zero) (Neg (primMulNat (Succ vx3100) (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];179 -> 211[label="",style="solid", color="black", weight=3];
180[label="absReal1 (Double (Pos (Succ vx3000)) (Neg Zero)) (not (primCmpInt (Pos Zero) (Neg (primMulNat Zero (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];180 -> 212[label="",style="solid", color="black", weight=3];
181[label="absReal1 (Double (Pos Zero) (Pos (Succ vx3100))) (not (primCmpInt (Pos Zero) (Pos (primMulNat (Succ vx3100) (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];181 -> 213[label="",style="solid", color="black", weight=3];
182[label="absReal1 (Double (Pos Zero) (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos (primMulNat Zero (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];182 -> 214[label="",style="solid", color="black", weight=3];
183[label="absReal1 (Double (Pos Zero) (Neg (Succ vx3100))) (not (primCmpInt (Pos Zero) (Neg (primMulNat (Succ vx3100) (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];183 -> 215[label="",style="solid", color="black", weight=3];
184[label="absReal1 (Double (Pos Zero) (Neg Zero)) (not (primCmpInt (Pos Zero) (Neg (primMulNat Zero (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];184 -> 216[label="",style="solid", color="black", weight=3];
185[label="absReal1 (Double (Neg (Succ vx3000)) (Pos (Succ vx3100))) (not (primCmpInt (Neg Zero) (Pos (primMulNat (Succ vx3100) (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];185 -> 217[label="",style="solid", color="black", weight=3];
186[label="absReal1 (Double (Neg (Succ vx3000)) (Pos Zero)) (not (primCmpInt (Neg Zero) (Pos (primMulNat Zero (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];186 -> 218[label="",style="solid", color="black", weight=3];
187[label="absReal1 (Double (Neg (Succ vx3000)) (Neg (Succ vx3100))) (not (primCmpInt (Neg Zero) (Neg (primMulNat (Succ vx3100) (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];187 -> 219[label="",style="solid", color="black", weight=3];
188[label="absReal1 (Double (Neg (Succ vx3000)) (Neg Zero)) (not (primCmpInt (Neg Zero) (Neg (primMulNat Zero (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];188 -> 220[label="",style="solid", color="black", weight=3];
189[label="absReal1 (Double (Neg Zero) (Pos (Succ vx3100))) (not (primCmpInt (Neg Zero) (Pos (primMulNat (Succ vx3100) (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];189 -> 221[label="",style="solid", color="black", weight=3];
190[label="absReal1 (Double (Neg Zero) (Pos Zero)) (not (primCmpInt (Neg Zero) (Pos (primMulNat Zero (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];190 -> 222[label="",style="solid", color="black", weight=3];
191[label="absReal1 (Double (Neg Zero) (Neg (Succ vx3100))) (not (primCmpInt (Neg Zero) (Neg (primMulNat (Succ vx3100) (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];191 -> 223[label="",style="solid", color="black", weight=3];
192[label="absReal1 (Double (Neg Zero) (Neg Zero)) (not (primCmpInt (Neg Zero) (Neg (primMulNat Zero (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];192 -> 224[label="",style="solid", color="black", weight=3];
193[label="absReal1 (Float (Pos (Succ vx3000)) (Pos (Succ vx3100))) (not (primCmpInt (Pos Zero) (Pos (primMulNat (Succ vx3100) (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];193 -> 225[label="",style="solid", color="black", weight=3];
194[label="absReal1 (Float (Pos (Succ vx3000)) (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos (primMulNat Zero (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];194 -> 226[label="",style="solid", color="black", weight=3];
195[label="absReal1 (Float (Pos (Succ vx3000)) (Neg (Succ vx3100))) (not (primCmpInt (Pos Zero) (Neg (primMulNat (Succ vx3100) (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];195 -> 227[label="",style="solid", color="black", weight=3];
196[label="absReal1 (Float (Pos (Succ vx3000)) (Neg Zero)) (not (primCmpInt (Pos Zero) (Neg (primMulNat Zero (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];196 -> 228[label="",style="solid", color="black", weight=3];
197[label="absReal1 (Float (Pos Zero) (Pos (Succ vx3100))) (not (primCmpInt (Pos Zero) (Pos (primMulNat (Succ vx3100) (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];197 -> 229[label="",style="solid", color="black", weight=3];
198[label="absReal1 (Float (Pos Zero) (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos (primMulNat Zero (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];198 -> 230[label="",style="solid", color="black", weight=3];
199[label="absReal1 (Float (Pos Zero) (Neg (Succ vx3100))) (not (primCmpInt (Pos Zero) (Neg (primMulNat (Succ vx3100) (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];199 -> 231[label="",style="solid", color="black", weight=3];
200[label="absReal1 (Float (Pos Zero) (Neg Zero)) (not (primCmpInt (Pos Zero) (Neg (primMulNat Zero (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];200 -> 232[label="",style="solid", color="black", weight=3];
201[label="absReal1 (Float (Neg (Succ vx3000)) (Pos (Succ vx3100))) (not (primCmpInt (Neg Zero) (Pos (primMulNat (Succ vx3100) (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];201 -> 233[label="",style="solid", color="black", weight=3];
202[label="absReal1 (Float (Neg (Succ vx3000)) (Pos Zero)) (not (primCmpInt (Neg Zero) (Pos (primMulNat Zero (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];202 -> 234[label="",style="solid", color="black", weight=3];
203[label="absReal1 (Float (Neg (Succ vx3000)) (Neg (Succ vx3100))) (not (primCmpInt (Neg Zero) (Neg (primMulNat (Succ vx3100) (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];203 -> 235[label="",style="solid", color="black", weight=3];
204[label="absReal1 (Float (Neg (Succ vx3000)) (Neg Zero)) (not (primCmpInt (Neg Zero) (Neg (primMulNat Zero (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];204 -> 236[label="",style="solid", color="black", weight=3];
205[label="absReal1 (Float (Neg Zero) (Pos (Succ vx3100))) (not (primCmpInt (Neg Zero) (Pos (primMulNat (Succ vx3100) (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];205 -> 237[label="",style="solid", color="black", weight=3];
206[label="absReal1 (Float (Neg Zero) (Pos Zero)) (not (primCmpInt (Neg Zero) (Pos (primMulNat Zero (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];206 -> 238[label="",style="solid", color="black", weight=3];
207[label="absReal1 (Float (Neg Zero) (Neg (Succ vx3100))) (not (primCmpInt (Neg Zero) (Neg (primMulNat (Succ vx3100) (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];207 -> 239[label="",style="solid", color="black", weight=3];
208[label="absReal1 (Float (Neg Zero) (Neg Zero)) (not (primCmpInt (Neg Zero) (Neg (primMulNat Zero (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];208 -> 240[label="",style="solid", color="black", weight=3];
209 -> 1676[label="",style="dashed", color="red", weight=0];
209[label="absReal1 (Double (Pos (Succ vx3000)) (Pos (Succ vx3100))) (not (primCmpInt (Pos Zero) (Pos (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT))",fontsize=16,color="magenta"];209 -> 1677[label="",style="dashed", color="magenta", weight=3];
209 -> 1678[label="",style="dashed", color="magenta", weight=3];
209 -> 1679[label="",style="dashed", color="magenta", weight=3];
210[label="absReal1 (Double (Pos (Succ vx3000)) (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];210 -> 243[label="",style="solid", color="black", weight=3];
211 -> 1549[label="",style="dashed", color="red", weight=0];
211[label="absReal1 (Double (Pos (Succ vx3000)) (Neg (Succ vx3100))) (not (primCmpInt (Pos Zero) (Neg (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT))",fontsize=16,color="magenta"];211 -> 1550[label="",style="dashed", color="magenta", weight=3];
211 -> 1551[label="",style="dashed", color="magenta", weight=3];
211 -> 1552[label="",style="dashed", color="magenta", weight=3];
212[label="absReal1 (Double (Pos (Succ vx3000)) (Neg Zero)) (not (primCmpInt (Pos Zero) (Neg Zero) == LT))",fontsize=16,color="black",shape="box"];212 -> 246[label="",style="solid", color="black", weight=3];
213 -> 1744[label="",style="dashed", color="red", weight=0];
213[label="absReal1 (Double (Pos Zero) (Pos (Succ vx3100))) (not (primCmpInt (Pos Zero) (Pos (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT))",fontsize=16,color="magenta"];213 -> 1745[label="",style="dashed", color="magenta", weight=3];
213 -> 1746[label="",style="dashed", color="magenta", weight=3];
214[label="absReal1 (Double (Pos Zero) (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];214 -> 249[label="",style="solid", color="black", weight=3];
215 -> 1700[label="",style="dashed", color="red", weight=0];
215[label="absReal1 (Double (Pos Zero) (Neg (Succ vx3100))) (not (primCmpInt (Pos Zero) (Neg (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT))",fontsize=16,color="magenta"];215 -> 1701[label="",style="dashed", color="magenta", weight=3];
215 -> 1702[label="",style="dashed", color="magenta", weight=3];
216[label="absReal1 (Double (Pos Zero) (Neg Zero)) (not (primCmpInt (Pos Zero) (Neg Zero) == LT))",fontsize=16,color="black",shape="box"];216 -> 252[label="",style="solid", color="black", weight=3];
217 -> 1950[label="",style="dashed", color="red", weight=0];
217[label="absReal1 (Double (Neg (Succ vx3000)) (Pos (Succ vx3100))) (not (primCmpInt (Neg Zero) (Pos (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT))",fontsize=16,color="magenta"];217 -> 1951[label="",style="dashed", color="magenta", weight=3];
217 -> 1952[label="",style="dashed", color="magenta", weight=3];
217 -> 1953[label="",style="dashed", color="magenta", weight=3];
218[label="absReal1 (Double (Neg (Succ vx3000)) (Pos Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];218 -> 255[label="",style="solid", color="black", weight=3];
219 -> 1967[label="",style="dashed", color="red", weight=0];
219[label="absReal1 (Double (Neg (Succ vx3000)) (Neg (Succ vx3100))) (not (primCmpInt (Neg Zero) (Neg (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT))",fontsize=16,color="magenta"];219 -> 1968[label="",style="dashed", color="magenta", weight=3];
219 -> 1969[label="",style="dashed", color="magenta", weight=3];
219 -> 1970[label="",style="dashed", color="magenta", weight=3];
220[label="absReal1 (Double (Neg (Succ vx3000)) (Neg Zero)) (not (primCmpInt (Neg Zero) (Neg Zero) == LT))",fontsize=16,color="black",shape="box"];220 -> 258[label="",style="solid", color="black", weight=3];
221 -> 1992[label="",style="dashed", color="red", weight=0];
221[label="absReal1 (Double (Neg Zero) (Pos (Succ vx3100))) (not (primCmpInt (Neg Zero) (Pos (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT))",fontsize=16,color="magenta"];221 -> 1993[label="",style="dashed", color="magenta", weight=3];
221 -> 1994[label="",style="dashed", color="magenta", weight=3];
222[label="absReal1 (Double (Neg Zero) (Pos Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];222 -> 261[label="",style="solid", color="black", weight=3];
223 -> 2034[label="",style="dashed", color="red", weight=0];
223[label="absReal1 (Double (Neg Zero) (Neg (Succ vx3100))) (not (primCmpInt (Neg Zero) (Neg (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT))",fontsize=16,color="magenta"];223 -> 2035[label="",style="dashed", color="magenta", weight=3];
223 -> 2036[label="",style="dashed", color="magenta", weight=3];
224[label="absReal1 (Double (Neg Zero) (Neg Zero)) (not (primCmpInt (Neg Zero) (Neg Zero) == LT))",fontsize=16,color="black",shape="box"];224 -> 264[label="",style="solid", color="black", weight=3];
225 -> 2113[label="",style="dashed", color="red", weight=0];
225[label="absReal1 (Float (Pos (Succ vx3000)) (Pos (Succ vx3100))) (not (primCmpInt (Pos Zero) (Pos (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT))",fontsize=16,color="magenta"];225 -> 2114[label="",style="dashed", color="magenta", weight=3];
225 -> 2115[label="",style="dashed", color="magenta", weight=3];
225 -> 2116[label="",style="dashed", color="magenta", weight=3];
226[label="absReal1 (Float (Pos (Succ vx3000)) (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];226 -> 267[label="",style="solid", color="black", weight=3];
227 -> 2220[label="",style="dashed", color="red", weight=0];
227[label="absReal1 (Float (Pos (Succ vx3000)) (Neg (Succ vx3100))) (not (primCmpInt (Pos Zero) (Neg (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT))",fontsize=16,color="magenta"];227 -> 2221[label="",style="dashed", color="magenta", weight=3];
227 -> 2222[label="",style="dashed", color="magenta", weight=3];
227 -> 2223[label="",style="dashed", color="magenta", weight=3];
228[label="absReal1 (Float (Pos (Succ vx3000)) (Neg Zero)) (not (primCmpInt (Pos Zero) (Neg Zero) == LT))",fontsize=16,color="black",shape="box"];228 -> 270[label="",style="solid", color="black", weight=3];
229 -> 2304[label="",style="dashed", color="red", weight=0];
229[label="absReal1 (Float (Pos Zero) (Pos (Succ vx3100))) (not (primCmpInt (Pos Zero) (Pos (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT))",fontsize=16,color="magenta"];229 -> 2305[label="",style="dashed", color="magenta", weight=3];
229 -> 2306[label="",style="dashed", color="magenta", weight=3];
230[label="absReal1 (Float (Pos Zero) (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];230 -> 273[label="",style="solid", color="black", weight=3];
231 -> 2379[label="",style="dashed", color="red", weight=0];
231[label="absReal1 (Float (Pos Zero) (Neg (Succ vx3100))) (not (primCmpInt (Pos Zero) (Neg (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT))",fontsize=16,color="magenta"];231 -> 2380[label="",style="dashed", color="magenta", weight=3];
231 -> 2381[label="",style="dashed", color="magenta", weight=3];
232[label="absReal1 (Float (Pos Zero) (Neg Zero)) (not (primCmpInt (Pos Zero) (Neg Zero) == LT))",fontsize=16,color="black",shape="box"];232 -> 276[label="",style="solid", color="black", weight=3];
233 -> 2443[label="",style="dashed", color="red", weight=0];
233[label="absReal1 (Float (Neg (Succ vx3000)) (Pos (Succ vx3100))) (not (primCmpInt (Neg Zero) (Pos (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT))",fontsize=16,color="magenta"];233 -> 2444[label="",style="dashed", color="magenta", weight=3];
233 -> 2445[label="",style="dashed", color="magenta", weight=3];
233 -> 2446[label="",style="dashed", color="magenta", weight=3];
234[label="absReal1 (Float (Neg (Succ vx3000)) (Pos Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];234 -> 279[label="",style="solid", color="black", weight=3];
235 -> 2554[label="",style="dashed", color="red", weight=0];
235[label="absReal1 (Float (Neg (Succ vx3000)) (Neg (Succ vx3100))) (not (primCmpInt (Neg Zero) (Neg (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT))",fontsize=16,color="magenta"];235 -> 2555[label="",style="dashed", color="magenta", weight=3];
235 -> 2556[label="",style="dashed", color="magenta", weight=3];
235 -> 2557[label="",style="dashed", color="magenta", weight=3];
236[label="absReal1 (Float (Neg (Succ vx3000)) (Neg Zero)) (not (primCmpInt (Neg Zero) (Neg Zero) == LT))",fontsize=16,color="black",shape="box"];236 -> 282[label="",style="solid", color="black", weight=3];
237 -> 2655[label="",style="dashed", color="red", weight=0];
237[label="absReal1 (Float (Neg Zero) (Pos (Succ vx3100))) (not (primCmpInt (Neg Zero) (Pos (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT))",fontsize=16,color="magenta"];237 -> 2656[label="",style="dashed", color="magenta", weight=3];
237 -> 2657[label="",style="dashed", color="magenta", weight=3];
238[label="absReal1 (Float (Neg Zero) (Pos Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];238 -> 285[label="",style="solid", color="black", weight=3];
239 -> 2734[label="",style="dashed", color="red", weight=0];
239[label="absReal1 (Float (Neg Zero) (Neg (Succ vx3100))) (not (primCmpInt (Neg Zero) (Neg (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT))",fontsize=16,color="magenta"];239 -> 2735[label="",style="dashed", color="magenta", weight=3];
239 -> 2736[label="",style="dashed", color="magenta", weight=3];
240[label="absReal1 (Float (Neg Zero) (Neg Zero)) (not (primCmpInt (Neg Zero) (Neg Zero) == LT))",fontsize=16,color="black",shape="box"];240 -> 288[label="",style="solid", color="black", weight=3];
1677 -> 1684[label="",style="dashed", color="red", weight=0];
1677[label="not (primCmpInt (Pos Zero) (Pos (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT)",fontsize=16,color="magenta"];1677 -> 1685[label="",style="dashed", color="magenta", weight=3];
1678[label="vx3100",fontsize=16,color="green",shape="box"];1679[label="vx3000",fontsize=16,color="green",shape="box"];1676[label="absReal1 (Double (Pos (Succ vx15)) (Pos (Succ vx16))) vx236",fontsize=16,color="burlywood",shape="triangle"];2915[label="vx236/False",fontsize=10,color="white",style="solid",shape="box"];1676 -> 2915[label="",style="solid", color="burlywood", weight=9];
2915 -> 1686[label="",style="solid", color="burlywood", weight=3];
2916[label="vx236/True",fontsize=10,color="white",style="solid",shape="box"];1676 -> 2916[label="",style="solid", color="burlywood", weight=9];
2916 -> 1687[label="",style="solid", color="burlywood", weight=3];
243[label="absReal1 (Double (Pos (Succ vx3000)) (Pos Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];243 -> 291[label="",style="solid", color="black", weight=3];
1550[label="vx3000",fontsize=16,color="green",shape="box"];1551[label="vx3100",fontsize=16,color="green",shape="box"];1552 -> 1058[label="",style="dashed", color="red", weight=0];
1552[label="not (primCmpInt (Pos Zero) (Neg (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT)",fontsize=16,color="magenta"];1552 -> 1617[label="",style="dashed", color="magenta", weight=3];
1549[label="absReal1 (Double (Pos (Succ vx22)) (Neg (Succ vx23))) vx225",fontsize=16,color="burlywood",shape="triangle"];2918[label="vx225/False",fontsize=10,color="white",style="solid",shape="box"];1549 -> 2918[label="",style="solid", color="burlywood", weight=9];
2918 -> 1618[label="",style="solid", color="burlywood", weight=3];
2919[label="vx225/True",fontsize=10,color="white",style="solid",shape="box"];1549 -> 2919[label="",style="solid", color="burlywood", weight=9];
2919 -> 1619[label="",style="solid", color="burlywood", weight=3];
246[label="absReal1 (Double (Pos (Succ vx3000)) (Neg Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];246 -> 294[label="",style="solid", color="black", weight=3];
1745[label="vx3100",fontsize=16,color="green",shape="box"];1746 -> 1684[label="",style="dashed", color="red", weight=0];
1746[label="not (primCmpInt (Pos Zero) (Pos (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT)",fontsize=16,color="magenta"];1746 -> 1751[label="",style="dashed", color="magenta", weight=3];
1744[label="absReal1 (Double (Pos Zero) (Pos (Succ vx37))) vx244",fontsize=16,color="burlywood",shape="triangle"];2921[label="vx244/False",fontsize=10,color="white",style="solid",shape="box"];1744 -> 2921[label="",style="solid", color="burlywood", weight=9];
2921 -> 1752[label="",style="solid", color="burlywood", weight=3];
2922[label="vx244/True",fontsize=10,color="white",style="solid",shape="box"];1744 -> 2922[label="",style="solid", color="burlywood", weight=9];
2922 -> 1753[label="",style="solid", color="burlywood", weight=3];
249[label="absReal1 (Double (Pos Zero) (Pos Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];249 -> 297[label="",style="solid", color="black", weight=3];
1701 -> 1058[label="",style="dashed", color="red", weight=0];
1701[label="not (primCmpInt (Pos Zero) (Neg (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT)",fontsize=16,color="magenta"];1701 -> 1734[label="",style="dashed", color="magenta", weight=3];
1702[label="vx3100",fontsize=16,color="green",shape="box"];1700[label="absReal1 (Double (Pos Zero) (Neg (Succ vx51))) vx238",fontsize=16,color="burlywood",shape="triangle"];2924[label="vx238/False",fontsize=10,color="white",style="solid",shape="box"];1700 -> 2924[label="",style="solid", color="burlywood", weight=9];
2924 -> 1735[label="",style="solid", color="burlywood", weight=3];
2925[label="vx238/True",fontsize=10,color="white",style="solid",shape="box"];1700 -> 2925[label="",style="solid", color="burlywood", weight=9];
2925 -> 1736[label="",style="solid", color="burlywood", weight=3];
252[label="absReal1 (Double (Pos Zero) (Neg Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];252 -> 300[label="",style="solid", color="black", weight=3];
1951[label="vx3000",fontsize=16,color="green",shape="box"];1952 -> 1957[label="",style="dashed", color="red", weight=0];
1952[label="not (primCmpInt (Neg Zero) (Pos (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT)",fontsize=16,color="magenta"];1952 -> 1958[label="",style="dashed", color="magenta", weight=3];
1953[label="vx3100",fontsize=16,color="green",shape="box"];1950[label="absReal1 (Double (Neg (Succ vx64)) (Pos (Succ vx65))) vx260",fontsize=16,color="burlywood",shape="triangle"];2927[label="vx260/False",fontsize=10,color="white",style="solid",shape="box"];1950 -> 2927[label="",style="solid", color="burlywood", weight=9];
2927 -> 1959[label="",style="solid", color="burlywood", weight=3];
2928[label="vx260/True",fontsize=10,color="white",style="solid",shape="box"];1950 -> 2928[label="",style="solid", color="burlywood", weight=9];
2928 -> 1960[label="",style="solid", color="burlywood", weight=3];
255[label="absReal1 (Double (Neg (Succ vx3000)) (Pos Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];255 -> 303[label="",style="solid", color="black", weight=3];
1968[label="vx3000",fontsize=16,color="green",shape="box"];1969 -> 1975[label="",style="dashed", color="red", weight=0];
1969[label="not (primCmpInt (Neg Zero) (Neg (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT)",fontsize=16,color="magenta"];1969 -> 1976[label="",style="dashed", color="magenta", weight=3];
1970[label="vx3100",fontsize=16,color="green",shape="box"];1967[label="absReal1 (Double (Neg (Succ vx77)) (Neg (Succ vx78))) vx263",fontsize=16,color="burlywood",shape="triangle"];2930[label="vx263/False",fontsize=10,color="white",style="solid",shape="box"];1967 -> 2930[label="",style="solid", color="burlywood", weight=9];
2930 -> 1983[label="",style="solid", color="burlywood", weight=3];
2931[label="vx263/True",fontsize=10,color="white",style="solid",shape="box"];1967 -> 2931[label="",style="solid", color="burlywood", weight=9];
2931 -> 1984[label="",style="solid", color="burlywood", weight=3];
258[label="absReal1 (Double (Neg (Succ vx3000)) (Neg Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];258 -> 306[label="",style="solid", color="black", weight=3];
1993 -> 1957[label="",style="dashed", color="red", weight=0];
1993[label="not (primCmpInt (Neg Zero) (Pos (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT)",fontsize=16,color="magenta"];1993 -> 1998[label="",style="dashed", color="magenta", weight=3];
1994[label="vx3100",fontsize=16,color="green",shape="box"];1992[label="absReal1 (Double (Neg Zero) (Pos (Succ vx92))) vx266",fontsize=16,color="burlywood",shape="triangle"];2933[label="vx266/False",fontsize=10,color="white",style="solid",shape="box"];1992 -> 2933[label="",style="solid", color="burlywood", weight=9];
2933 -> 1999[label="",style="solid", color="burlywood", weight=3];
2934[label="vx266/True",fontsize=10,color="white",style="solid",shape="box"];1992 -> 2934[label="",style="solid", color="burlywood", weight=9];
2934 -> 2000[label="",style="solid", color="burlywood", weight=3];
261[label="absReal1 (Double (Neg Zero) (Pos Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];261 -> 309[label="",style="solid", color="black", weight=3];
2035[label="vx3100",fontsize=16,color="green",shape="box"];2036 -> 1975[label="",style="dashed", color="red", weight=0];
2036[label="not (primCmpInt (Neg Zero) (Neg (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT)",fontsize=16,color="magenta"];2036 -> 2088[label="",style="dashed", color="magenta", weight=3];
2034[label="absReal1 (Double (Neg Zero) (Neg (Succ vx103))) vx268",fontsize=16,color="burlywood",shape="triangle"];2936[label="vx268/False",fontsize=10,color="white",style="solid",shape="box"];2034 -> 2936[label="",style="solid", color="burlywood", weight=9];
2936 -> 2089[label="",style="solid", color="burlywood", weight=3];
2937[label="vx268/True",fontsize=10,color="white",style="solid",shape="box"];2034 -> 2937[label="",style="solid", color="burlywood", weight=9];
2937 -> 2090[label="",style="solid", color="burlywood", weight=3];
264[label="absReal1 (Double (Neg Zero) (Neg Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];264 -> 312[label="",style="solid", color="black", weight=3];
2114 -> 1684[label="",style="dashed", color="red", weight=0];
2114[label="not (primCmpInt (Pos Zero) (Pos (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT)",fontsize=16,color="magenta"];2114 -> 2208[label="",style="dashed", color="magenta", weight=3];
2115[label="vx3000",fontsize=16,color="green",shape="box"];2116[label="vx3100",fontsize=16,color="green",shape="box"];2113[label="absReal1 (Float (Pos (Succ vx116)) (Pos (Succ vx117))) vx275",fontsize=16,color="burlywood",shape="triangle"];2939[label="vx275/False",fontsize=10,color="white",style="solid",shape="box"];2113 -> 2939[label="",style="solid", color="burlywood", weight=9];
2939 -> 2209[label="",style="solid", color="burlywood", weight=3];
2940[label="vx275/True",fontsize=10,color="white",style="solid",shape="box"];2113 -> 2940[label="",style="solid", color="burlywood", weight=9];
2940 -> 2210[label="",style="solid", color="burlywood", weight=3];
267[label="absReal1 (Float (Pos (Succ vx3000)) (Pos Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];267 -> 315[label="",style="solid", color="black", weight=3];
2221 -> 1058[label="",style="dashed", color="red", weight=0];
2221[label="not (primCmpInt (Pos Zero) (Neg (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT)",fontsize=16,color="magenta"];2221 -> 2279[label="",style="dashed", color="magenta", weight=3];
2222[label="vx3000",fontsize=16,color="green",shape="box"];2223[label="vx3100",fontsize=16,color="green",shape="box"];2220[label="absReal1 (Float (Pos (Succ vx132)) (Neg (Succ vx133))) vx281",fontsize=16,color="burlywood",shape="triangle"];2942[label="vx281/False",fontsize=10,color="white",style="solid",shape="box"];2220 -> 2942[label="",style="solid", color="burlywood", weight=9];
2942 -> 2280[label="",style="solid", color="burlywood", weight=3];
2943[label="vx281/True",fontsize=10,color="white",style="solid",shape="box"];2220 -> 2943[label="",style="solid", color="burlywood", weight=9];
2943 -> 2281[label="",style="solid", color="burlywood", weight=3];
270[label="absReal1 (Float (Pos (Succ vx3000)) (Neg Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];270 -> 318[label="",style="solid", color="black", weight=3];
2305[label="vx3100",fontsize=16,color="green",shape="box"];2306 -> 1684[label="",style="dashed", color="red", weight=0];
2306[label="not (primCmpInt (Pos Zero) (Pos (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT)",fontsize=16,color="magenta"];2306 -> 2368[label="",style="dashed", color="magenta", weight=3];
2304[label="absReal1 (Float (Pos Zero) (Pos (Succ vx147))) vx288",fontsize=16,color="burlywood",shape="triangle"];2945[label="vx288/False",fontsize=10,color="white",style="solid",shape="box"];2304 -> 2945[label="",style="solid", color="burlywood", weight=9];
2945 -> 2369[label="",style="solid", color="burlywood", weight=3];
2946[label="vx288/True",fontsize=10,color="white",style="solid",shape="box"];2304 -> 2946[label="",style="solid", color="burlywood", weight=9];
2946 -> 2370[label="",style="solid", color="burlywood", weight=3];
273[label="absReal1 (Float (Pos Zero) (Pos Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];273 -> 321[label="",style="solid", color="black", weight=3];
2380[label="vx3100",fontsize=16,color="green",shape="box"];2381 -> 1058[label="",style="dashed", color="red", weight=0];
2381[label="not (primCmpInt (Pos Zero) (Neg (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT)",fontsize=16,color="magenta"];2381 -> 2419[label="",style="dashed", color="magenta", weight=3];
2379[label="absReal1 (Float (Pos Zero) (Neg (Succ vx161))) vx294",fontsize=16,color="burlywood",shape="triangle"];2948[label="vx294/False",fontsize=10,color="white",style="solid",shape="box"];2379 -> 2948[label="",style="solid", color="burlywood", weight=9];
2948 -> 2420[label="",style="solid", color="burlywood", weight=3];
2949[label="vx294/True",fontsize=10,color="white",style="solid",shape="box"];2379 -> 2949[label="",style="solid", color="burlywood", weight=9];
2949 -> 2421[label="",style="solid", color="burlywood", weight=3];
276[label="absReal1 (Float (Pos Zero) (Neg Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];276 -> 324[label="",style="solid", color="black", weight=3];
2444 -> 1957[label="",style="dashed", color="red", weight=0];
2444[label="not (primCmpInt (Neg Zero) (Pos (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT)",fontsize=16,color="magenta"];2444 -> 2532[label="",style="dashed", color="magenta", weight=3];
2445[label="vx3100",fontsize=16,color="green",shape="box"];2446[label="vx3000",fontsize=16,color="green",shape="box"];2443[label="absReal1 (Float (Neg (Succ vx174)) (Pos (Succ vx175))) vx301",fontsize=16,color="burlywood",shape="triangle"];2951[label="vx301/False",fontsize=10,color="white",style="solid",shape="box"];2443 -> 2951[label="",style="solid", color="burlywood", weight=9];
2951 -> 2533[label="",style="solid", color="burlywood", weight=3];
2952[label="vx301/True",fontsize=10,color="white",style="solid",shape="box"];2443 -> 2952[label="",style="solid", color="burlywood", weight=9];
2952 -> 2534[label="",style="solid", color="burlywood", weight=3];
279[label="absReal1 (Float (Neg (Succ vx3000)) (Pos Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];279 -> 327[label="",style="solid", color="black", weight=3];
2555 -> 1975[label="",style="dashed", color="red", weight=0];
2555[label="not (primCmpInt (Neg Zero) (Neg (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT)",fontsize=16,color="magenta"];2555 -> 2634[label="",style="dashed", color="magenta", weight=3];
2556[label="vx3000",fontsize=16,color="green",shape="box"];2557[label="vx3100",fontsize=16,color="green",shape="box"];2554[label="absReal1 (Float (Neg (Succ vx187)) (Neg (Succ vx188))) vx308",fontsize=16,color="burlywood",shape="triangle"];2954[label="vx308/False",fontsize=10,color="white",style="solid",shape="box"];2554 -> 2954[label="",style="solid", color="burlywood", weight=9];
2954 -> 2635[label="",style="solid", color="burlywood", weight=3];
2955[label="vx308/True",fontsize=10,color="white",style="solid",shape="box"];2554 -> 2955[label="",style="solid", color="burlywood", weight=9];
2955 -> 2636[label="",style="solid", color="burlywood", weight=3];
282[label="absReal1 (Float (Neg (Succ vx3000)) (Neg Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];282 -> 330[label="",style="solid", color="black", weight=3];
2656[label="vx3100",fontsize=16,color="green",shape="box"];2657 -> 1957[label="",style="dashed", color="red", weight=0];
2657[label="not (primCmpInt (Neg Zero) (Pos (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT)",fontsize=16,color="magenta"];2657 -> 2715[label="",style="dashed", color="magenta", weight=3];
2655[label="absReal1 (Float (Neg Zero) (Pos (Succ vx202))) vx315",fontsize=16,color="burlywood",shape="triangle"];2957[label="vx315/False",fontsize=10,color="white",style="solid",shape="box"];2655 -> 2957[label="",style="solid", color="burlywood", weight=9];
2957 -> 2716[label="",style="solid", color="burlywood", weight=3];
2958[label="vx315/True",fontsize=10,color="white",style="solid",shape="box"];2655 -> 2958[label="",style="solid", color="burlywood", weight=9];
2958 -> 2717[label="",style="solid", color="burlywood", weight=3];
285[label="absReal1 (Float (Neg Zero) (Pos Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];285 -> 333[label="",style="solid", color="black", weight=3];
2735 -> 1975[label="",style="dashed", color="red", weight=0];
2735[label="not (primCmpInt (Neg Zero) (Neg (primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero))) == LT)",fontsize=16,color="magenta"];2735 -> 2788[label="",style="dashed", color="magenta", weight=3];
2736[label="vx3100",fontsize=16,color="green",shape="box"];2734[label="absReal1 (Float (Neg Zero) (Neg (Succ vx213))) vx322",fontsize=16,color="burlywood",shape="triangle"];2960[label="vx322/False",fontsize=10,color="white",style="solid",shape="box"];2734 -> 2960[label="",style="solid", color="burlywood", weight=9];
2960 -> 2789[label="",style="solid", color="burlywood", weight=3];
2961[label="vx322/True",fontsize=10,color="white",style="solid",shape="box"];2734 -> 2961[label="",style="solid", color="burlywood", weight=9];
2961 -> 2790[label="",style="solid", color="burlywood", weight=3];
288[label="absReal1 (Float (Neg Zero) (Neg Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];288 -> 336[label="",style="solid", color="black", weight=3];
1685 -> 1071[label="",style="dashed", color="red", weight=0];
1685[label="primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];1685 -> 1688[label="",style="dashed", color="magenta", weight=3];
1684[label="not (primCmpInt (Pos Zero) (Pos vx237) == LT)",fontsize=16,color="burlywood",shape="triangle"];2963[label="vx237/Succ vx2370",fontsize=10,color="white",style="solid",shape="box"];1684 -> 2963[label="",style="solid", color="burlywood", weight=9];
2963 -> 1689[label="",style="solid", color="burlywood", weight=3];
2964[label="vx237/Zero",fontsize=10,color="white",style="solid",shape="box"];1684 -> 2964[label="",style="solid", color="burlywood", weight=9];
2964 -> 1690[label="",style="solid", color="burlywood", weight=3];
1686[label="absReal1 (Double (Pos (Succ vx15)) (Pos (Succ vx16))) False",fontsize=16,color="black",shape="box"];1686 -> 1737[label="",style="solid", color="black", weight=3];
1687[label="absReal1 (Double (Pos (Succ vx15)) (Pos (Succ vx16))) True",fontsize=16,color="black",shape="box"];1687 -> 1738[label="",style="solid", color="black", weight=3];
291[label="absReal1 (Double (Pos (Succ vx3000)) (Pos Zero)) (not False)",fontsize=16,color="black",shape="box"];291 -> 340[label="",style="solid", color="black", weight=3];
1617 -> 1071[label="",style="dashed", color="red", weight=0];
1617[label="primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];1617 -> 1670[label="",style="dashed", color="magenta", weight=3];
1058[label="not (primCmpInt (Pos Zero) (Neg vx28) == LT)",fontsize=16,color="burlywood",shape="triangle"];2966[label="vx28/Succ vx280",fontsize=10,color="white",style="solid",shape="box"];1058 -> 2966[label="",style="solid", color="burlywood", weight=9];
2966 -> 1069[label="",style="solid", color="burlywood", weight=3];
2967[label="vx28/Zero",fontsize=10,color="white",style="solid",shape="box"];1058 -> 2967[label="",style="solid", color="burlywood", weight=9];
2967 -> 1070[label="",style="solid", color="burlywood", weight=3];
1618[label="absReal1 (Double (Pos (Succ vx22)) (Neg (Succ vx23))) False",fontsize=16,color="black",shape="box"];1618 -> 1671[label="",style="solid", color="black", weight=3];
1619[label="absReal1 (Double (Pos (Succ vx22)) (Neg (Succ vx23))) True",fontsize=16,color="black",shape="box"];1619 -> 1672[label="",style="solid", color="black", weight=3];
294[label="absReal1 (Double (Pos (Succ vx3000)) (Neg Zero)) (not False)",fontsize=16,color="black",shape="box"];294 -> 344[label="",style="solid", color="black", weight=3];
1751 -> 1071[label="",style="dashed", color="red", weight=0];
1751[label="primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];1751 -> 1826[label="",style="dashed", color="magenta", weight=3];
1752[label="absReal1 (Double (Pos Zero) (Pos (Succ vx37))) False",fontsize=16,color="black",shape="box"];1752 -> 1827[label="",style="solid", color="black", weight=3];
1753[label="absReal1 (Double (Pos Zero) (Pos (Succ vx37))) True",fontsize=16,color="black",shape="box"];1753 -> 1828[label="",style="solid", color="black", weight=3];
297[label="absReal1 (Double (Pos Zero) (Pos Zero)) (not False)",fontsize=16,color="black",shape="box"];297 -> 348[label="",style="solid", color="black", weight=3];
1734 -> 1071[label="",style="dashed", color="red", weight=0];
1734[label="primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];1734 -> 1754[label="",style="dashed", color="magenta", weight=3];
1735[label="absReal1 (Double (Pos Zero) (Neg (Succ vx51))) False",fontsize=16,color="black",shape="box"];1735 -> 1755[label="",style="solid", color="black", weight=3];
1736[label="absReal1 (Double (Pos Zero) (Neg (Succ vx51))) True",fontsize=16,color="black",shape="box"];1736 -> 1756[label="",style="solid", color="black", weight=3];
300[label="absReal1 (Double (Pos Zero) (Neg Zero)) (not False)",fontsize=16,color="black",shape="box"];300 -> 352[label="",style="solid", color="black", weight=3];
1958 -> 1071[label="",style="dashed", color="red", weight=0];
1958[label="primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];1958 -> 1961[label="",style="dashed", color="magenta", weight=3];
1957[label="not (primCmpInt (Neg Zero) (Pos vx261) == LT)",fontsize=16,color="burlywood",shape="triangle"];2971[label="vx261/Succ vx2610",fontsize=10,color="white",style="solid",shape="box"];1957 -> 2971[label="",style="solid", color="burlywood", weight=9];
2971 -> 1962[label="",style="solid", color="burlywood", weight=3];
2972[label="vx261/Zero",fontsize=10,color="white",style="solid",shape="box"];1957 -> 2972[label="",style="solid", color="burlywood", weight=9];
2972 -> 1963[label="",style="solid", color="burlywood", weight=3];
1959[label="absReal1 (Double (Neg (Succ vx64)) (Pos (Succ vx65))) False",fontsize=16,color="black",shape="box"];1959 -> 1985[label="",style="solid", color="black", weight=3];
1960[label="absReal1 (Double (Neg (Succ vx64)) (Pos (Succ vx65))) True",fontsize=16,color="black",shape="box"];1960 -> 1986[label="",style="solid", color="black", weight=3];
303[label="absReal1 (Double (Neg (Succ vx3000)) (Pos Zero)) (not False)",fontsize=16,color="black",shape="box"];303 -> 356[label="",style="solid", color="black", weight=3];
1976 -> 1071[label="",style="dashed", color="red", weight=0];
1976[label="primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];1976 -> 1987[label="",style="dashed", color="magenta", weight=3];
1975[label="not (primCmpInt (Neg Zero) (Neg vx264) == LT)",fontsize=16,color="burlywood",shape="triangle"];2974[label="vx264/Succ vx2640",fontsize=10,color="white",style="solid",shape="box"];1975 -> 2974[label="",style="solid", color="burlywood", weight=9];
2974 -> 1988[label="",style="solid", color="burlywood", weight=3];
2975[label="vx264/Zero",fontsize=10,color="white",style="solid",shape="box"];1975 -> 2975[label="",style="solid", color="burlywood", weight=9];
2975 -> 1989[label="",style="solid", color="burlywood", weight=3];
1983[label="absReal1 (Double (Neg (Succ vx77)) (Neg (Succ vx78))) False",fontsize=16,color="black",shape="box"];1983 -> 2001[label="",style="solid", color="black", weight=3];
1984[label="absReal1 (Double (Neg (Succ vx77)) (Neg (Succ vx78))) True",fontsize=16,color="black",shape="box"];1984 -> 2002[label="",style="solid", color="black", weight=3];
306[label="absReal1 (Double (Neg (Succ vx3000)) (Neg Zero)) (not False)",fontsize=16,color="black",shape="box"];306 -> 360[label="",style="solid", color="black", weight=3];
1998 -> 1071[label="",style="dashed", color="red", weight=0];
1998[label="primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];1998 -> 2018[label="",style="dashed", color="magenta", weight=3];
1999[label="absReal1 (Double (Neg Zero) (Pos (Succ vx92))) False",fontsize=16,color="black",shape="box"];1999 -> 2019[label="",style="solid", color="black", weight=3];
2000[label="absReal1 (Double (Neg Zero) (Pos (Succ vx92))) True",fontsize=16,color="black",shape="box"];2000 -> 2020[label="",style="solid", color="black", weight=3];
309[label="absReal1 (Double (Neg Zero) (Pos Zero)) (not False)",fontsize=16,color="black",shape="box"];309 -> 364[label="",style="solid", color="black", weight=3];
2088 -> 1071[label="",style="dashed", color="red", weight=0];
2088[label="primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];2088 -> 2102[label="",style="dashed", color="magenta", weight=3];
2089[label="absReal1 (Double (Neg Zero) (Neg (Succ vx103))) False",fontsize=16,color="black",shape="box"];2089 -> 2103[label="",style="solid", color="black", weight=3];
2090[label="absReal1 (Double (Neg Zero) (Neg (Succ vx103))) True",fontsize=16,color="black",shape="box"];2090 -> 2104[label="",style="solid", color="black", weight=3];
312[label="absReal1 (Double (Neg Zero) (Neg Zero)) (not False)",fontsize=16,color="black",shape="box"];312 -> 368[label="",style="solid", color="black", weight=3];
2208 -> 1071[label="",style="dashed", color="red", weight=0];
2208[label="primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];2208 -> 2282[label="",style="dashed", color="magenta", weight=3];
2209[label="absReal1 (Float (Pos (Succ vx116)) (Pos (Succ vx117))) False",fontsize=16,color="black",shape="box"];2209 -> 2283[label="",style="solid", color="black", weight=3];
2210[label="absReal1 (Float (Pos (Succ vx116)) (Pos (Succ vx117))) True",fontsize=16,color="black",shape="box"];2210 -> 2284[label="",style="solid", color="black", weight=3];
315[label="absReal1 (Float (Pos (Succ vx3000)) (Pos Zero)) (not False)",fontsize=16,color="black",shape="box"];315 -> 372[label="",style="solid", color="black", weight=3];
2279 -> 1071[label="",style="dashed", color="red", weight=0];
2279[label="primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];2279 -> 2293[label="",style="dashed", color="magenta", weight=3];
2280[label="absReal1 (Float (Pos (Succ vx132)) (Neg (Succ vx133))) False",fontsize=16,color="black",shape="box"];2280 -> 2294[label="",style="solid", color="black", weight=3];
2281[label="absReal1 (Float (Pos (Succ vx132)) (Neg (Succ vx133))) True",fontsize=16,color="black",shape="box"];2281 -> 2295[label="",style="solid", color="black", weight=3];
318[label="absReal1 (Float (Pos (Succ vx3000)) (Neg Zero)) (not False)",fontsize=16,color="black",shape="box"];318 -> 376[label="",style="solid", color="black", weight=3];
2368 -> 1071[label="",style="dashed", color="red", weight=0];
2368[label="primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];2368 -> 2422[label="",style="dashed", color="magenta", weight=3];
2369[label="absReal1 (Float (Pos Zero) (Pos (Succ vx147))) False",fontsize=16,color="black",shape="box"];2369 -> 2423[label="",style="solid", color="black", weight=3];
2370[label="absReal1 (Float (Pos Zero) (Pos (Succ vx147))) True",fontsize=16,color="black",shape="box"];2370 -> 2424[label="",style="solid", color="black", weight=3];
321[label="absReal1 (Float (Pos Zero) (Pos Zero)) (not False)",fontsize=16,color="black",shape="box"];321 -> 380[label="",style="solid", color="black", weight=3];
2419 -> 1071[label="",style="dashed", color="red", weight=0];
2419[label="primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];2419 -> 2433[label="",style="dashed", color="magenta", weight=3];
2420[label="absReal1 (Float (Pos Zero) (Neg (Succ vx161))) False",fontsize=16,color="black",shape="box"];2420 -> 2434[label="",style="solid", color="black", weight=3];
2421[label="absReal1 (Float (Pos Zero) (Neg (Succ vx161))) True",fontsize=16,color="black",shape="box"];2421 -> 2435[label="",style="solid", color="black", weight=3];
324[label="absReal1 (Float (Pos Zero) (Neg Zero)) (not False)",fontsize=16,color="black",shape="box"];324 -> 384[label="",style="solid", color="black", weight=3];
2532 -> 1071[label="",style="dashed", color="red", weight=0];
2532[label="primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];2532 -> 2544[label="",style="dashed", color="magenta", weight=3];
2533[label="absReal1 (Float (Neg (Succ vx174)) (Pos (Succ vx175))) False",fontsize=16,color="black",shape="box"];2533 -> 2545[label="",style="solid", color="black", weight=3];
2534[label="absReal1 (Float (Neg (Succ vx174)) (Pos (Succ vx175))) True",fontsize=16,color="black",shape="box"];2534 -> 2546[label="",style="solid", color="black", weight=3];
327[label="absReal1 (Float (Neg (Succ vx3000)) (Pos Zero)) (not False)",fontsize=16,color="black",shape="box"];327 -> 388[label="",style="solid", color="black", weight=3];
2634 -> 1071[label="",style="dashed", color="red", weight=0];
2634[label="primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];2634 -> 2646[label="",style="dashed", color="magenta", weight=3];
2635[label="absReal1 (Float (Neg (Succ vx187)) (Neg (Succ vx188))) False",fontsize=16,color="black",shape="box"];2635 -> 2647[label="",style="solid", color="black", weight=3];
2636[label="absReal1 (Float (Neg (Succ vx187)) (Neg (Succ vx188))) True",fontsize=16,color="black",shape="box"];2636 -> 2648[label="",style="solid", color="black", weight=3];
330[label="absReal1 (Float (Neg (Succ vx3000)) (Neg Zero)) (not False)",fontsize=16,color="black",shape="box"];330 -> 392[label="",style="solid", color="black", weight=3];
2715 -> 1071[label="",style="dashed", color="red", weight=0];
2715[label="primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];2715 -> 2726[label="",style="dashed", color="magenta", weight=3];
2716[label="absReal1 (Float (Neg Zero) (Pos (Succ vx202))) False",fontsize=16,color="black",shape="box"];2716 -> 2727[label="",style="solid", color="black", weight=3];
2717[label="absReal1 (Float (Neg Zero) (Pos (Succ vx202))) True",fontsize=16,color="black",shape="box"];2717 -> 2728[label="",style="solid", color="black", weight=3];
333[label="absReal1 (Float (Neg Zero) (Pos Zero)) (not False)",fontsize=16,color="black",shape="box"];333 -> 396[label="",style="solid", color="black", weight=3];
2788 -> 1071[label="",style="dashed", color="red", weight=0];
2788[label="primPlusNat (primMulNat vx3100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];2788 -> 2795[label="",style="dashed", color="magenta", weight=3];
2789[label="absReal1 (Float (Neg Zero) (Neg (Succ vx213))) False",fontsize=16,color="black",shape="box"];2789 -> 2796[label="",style="solid", color="black", weight=3];
2790[label="absReal1 (Float (Neg Zero) (Neg (Succ vx213))) True",fontsize=16,color="black",shape="box"];2790 -> 2797[label="",style="solid", color="black", weight=3];
336[label="absReal1 (Float (Neg Zero) (Neg Zero)) (not False)",fontsize=16,color="black",shape="box"];336 -> 400[label="",style="solid", color="black", weight=3];
1688 -> 1667[label="",style="dashed", color="red", weight=0];
1688[label="primMulNat vx3100 (Succ Zero)",fontsize=16,color="magenta"];1071[label="primPlusNat vx29 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];2987[label="vx29/Succ vx290",fontsize=10,color="white",style="solid",shape="box"];1071 -> 2987[label="",style="solid", color="burlywood", weight=9];
2987 -> 1081[label="",style="solid", color="burlywood", weight=3];
2988[label="vx29/Zero",fontsize=10,color="white",style="solid",shape="box"];1071 -> 2988[label="",style="solid", color="burlywood", weight=9];
2988 -> 1082[label="",style="solid", color="burlywood", weight=3];
1689[label="not (primCmpInt (Pos Zero) (Pos (Succ vx2370)) == LT)",fontsize=16,color="black",shape="box"];1689 -> 1739[label="",style="solid", color="black", weight=3];
1690[label="not (primCmpInt (Pos Zero) (Pos Zero) == LT)",fontsize=16,color="black",shape="box"];1690 -> 1740[label="",style="solid", color="black", weight=3];
1737[label="absReal0 (Double (Pos (Succ vx15)) (Pos (Succ vx16))) otherwise",fontsize=16,color="black",shape="box"];1737 -> 1757[label="",style="solid", color="black", weight=3];
1738[label="Double (Pos (Succ vx15)) (Pos (Succ vx16))",fontsize=16,color="green",shape="box"];340[label="absReal1 (Double (Pos (Succ vx3000)) (Pos Zero)) True",fontsize=16,color="black",shape="box"];340 -> 404[label="",style="solid", color="black", weight=3];
1670 -> 1667[label="",style="dashed", color="red", weight=0];
1670[label="primMulNat vx3100 (Succ Zero)",fontsize=16,color="magenta"];1670 -> 1695[label="",style="dashed", color="magenta", weight=3];
1069[label="not (primCmpInt (Pos Zero) (Neg (Succ vx280)) == LT)",fontsize=16,color="black",shape="box"];1069 -> 1083[label="",style="solid", color="black", weight=3];
1070[label="not (primCmpInt (Pos Zero) (Neg Zero) == LT)",fontsize=16,color="black",shape="box"];1070 -> 1084[label="",style="solid", color="black", weight=3];
1671[label="absReal0 (Double (Pos (Succ vx22)) (Neg (Succ vx23))) otherwise",fontsize=16,color="black",shape="box"];1671 -> 1696[label="",style="solid", color="black", weight=3];
1672[label="Double (Pos (Succ vx22)) (Neg (Succ vx23))",fontsize=16,color="green",shape="box"];344[label="absReal1 (Double (Pos (Succ vx3000)) (Neg Zero)) True",fontsize=16,color="black",shape="box"];344 -> 408[label="",style="solid", color="black", weight=3];
1826 -> 1667[label="",style="dashed", color="red", weight=0];
1826[label="primMulNat vx3100 (Succ Zero)",fontsize=16,color="magenta"];1827[label="absReal0 (Double (Pos Zero) (Pos (Succ vx37))) otherwise",fontsize=16,color="black",shape="box"];1827 -> 1896[label="",style="solid", color="black", weight=3];
1828[label="Double (Pos Zero) (Pos (Succ vx37))",fontsize=16,color="green",shape="box"];348[label="absReal1 (Double (Pos Zero) (Pos Zero)) True",fontsize=16,color="black",shape="box"];348 -> 412[label="",style="solid", color="black", weight=3];
1754 -> 1667[label="",style="dashed", color="red", weight=0];
1754[label="primMulNat vx3100 (Succ Zero)",fontsize=16,color="magenta"];1754 -> 1829[label="",style="dashed", color="magenta", weight=3];
1755[label="absReal0 (Double (Pos Zero) (Neg (Succ vx51))) otherwise",fontsize=16,color="black",shape="box"];1755 -> 1830[label="",style="solid", color="black", weight=3];
1756[label="Double (Pos Zero) (Neg (Succ vx51))",fontsize=16,color="green",shape="box"];352[label="absReal1 (Double (Pos Zero) (Neg Zero)) True",fontsize=16,color="black",shape="box"];352 -> 416[label="",style="solid", color="black", weight=3];
1961 -> 1667[label="",style="dashed", color="red", weight=0];
1961[label="primMulNat vx3100 (Succ Zero)",fontsize=16,color="magenta"];1962[label="not (primCmpInt (Neg Zero) (Pos (Succ vx2610)) == LT)",fontsize=16,color="black",shape="box"];1962 -> 1990[label="",style="solid", color="black", weight=3];
1963[label="not (primCmpInt (Neg Zero) (Pos Zero) == LT)",fontsize=16,color="black",shape="box"];1963 -> 1991[label="",style="solid", color="black", weight=3];
1985[label="absReal0 (Double (Neg (Succ vx64)) (Pos (Succ vx65))) otherwise",fontsize=16,color="black",shape="box"];1985 -> 2003[label="",style="solid", color="black", weight=3];
1986[label="Double (Neg (Succ vx64)) (Pos (Succ vx65))",fontsize=16,color="green",shape="box"];356[label="absReal1 (Double (Neg (Succ vx3000)) (Pos Zero)) True",fontsize=16,color="black",shape="box"];356 -> 420[label="",style="solid", color="black", weight=3];
1987 -> 1667[label="",style="dashed", color="red", weight=0];
1987[label="primMulNat vx3100 (Succ Zero)",fontsize=16,color="magenta"];1987 -> 2004[label="",style="dashed", color="magenta", weight=3];
1988[label="not (primCmpInt (Neg Zero) (Neg (Succ vx2640)) == LT)",fontsize=16,color="black",shape="box"];1988 -> 2005[label="",style="solid", color="black", weight=3];
1989[label="not (primCmpInt (Neg Zero) (Neg Zero) == LT)",fontsize=16,color="black",shape="box"];1989 -> 2006[label="",style="solid", color="black", weight=3];
2001[label="absReal0 (Double (Neg (Succ vx77)) (Neg (Succ vx78))) otherwise",fontsize=16,color="black",shape="box"];2001 -> 2021[label="",style="solid", color="black", weight=3];
2002[label="Double (Neg (Succ vx77)) (Neg (Succ vx78))",fontsize=16,color="green",shape="box"];360[label="absReal1 (Double (Neg (Succ vx3000)) (Neg Zero)) True",fontsize=16,color="black",shape="box"];360 -> 424[label="",style="solid", color="black", weight=3];
2018 -> 1667[label="",style="dashed", color="red", weight=0];
2018[label="primMulNat vx3100 (Succ Zero)",fontsize=16,color="magenta"];2019[label="absReal0 (Double (Neg Zero) (Pos (Succ vx92))) otherwise",fontsize=16,color="black",shape="box"];2019 -> 2091[label="",style="solid", color="black", weight=3];
2020[label="Double (Neg Zero) (Pos (Succ vx92))",fontsize=16,color="green",shape="box"];364[label="absReal1 (Double (Neg Zero) (Pos Zero)) True",fontsize=16,color="black",shape="box"];364 -> 428[label="",style="solid", color="black", weight=3];
2102 -> 1667[label="",style="dashed", color="red", weight=0];
2102[label="primMulNat vx3100 (Succ Zero)",fontsize=16,color="magenta"];2102 -> 2211[label="",style="dashed", color="magenta", weight=3];
2103[label="absReal0 (Double (Neg Zero) (Neg (Succ vx103))) otherwise",fontsize=16,color="black",shape="box"];2103 -> 2212[label="",style="solid", color="black", weight=3];
2104[label="Double (Neg Zero) (Neg (Succ vx103))",fontsize=16,color="green",shape="box"];368[label="absReal1 (Double (Neg Zero) (Neg Zero)) True",fontsize=16,color="black",shape="box"];368 -> 432[label="",style="solid", color="black", weight=3];
2282 -> 1667[label="",style="dashed", color="red", weight=0];
2282[label="primMulNat vx3100 (Succ Zero)",fontsize=16,color="magenta"];2282 -> 2296[label="",style="dashed", color="magenta", weight=3];
2283[label="absReal0 (Float (Pos (Succ vx116)) (Pos (Succ vx117))) otherwise",fontsize=16,color="black",shape="box"];2283 -> 2297[label="",style="solid", color="black", weight=3];
2284[label="Float (Pos (Succ vx116)) (Pos (Succ vx117))",fontsize=16,color="green",shape="box"];372[label="absReal1 (Float (Pos (Succ vx3000)) (Pos Zero)) True",fontsize=16,color="black",shape="box"];372 -> 436[label="",style="solid", color="black", weight=3];
2293 -> 1667[label="",style="dashed", color="red", weight=0];
2293[label="primMulNat vx3100 (Succ Zero)",fontsize=16,color="magenta"];2293 -> 2371[label="",style="dashed", color="magenta", weight=3];
2294[label="absReal0 (Float (Pos (Succ vx132)) (Neg (Succ vx133))) otherwise",fontsize=16,color="black",shape="box"];2294 -> 2372[label="",style="solid", color="black", weight=3];
2295[label="Float (Pos (Succ vx132)) (Neg (Succ vx133))",fontsize=16,color="green",shape="box"];376[label="absReal1 (Float (Pos (Succ vx3000)) (Neg Zero)) True",fontsize=16,color="black",shape="box"];376 -> 440[label="",style="solid", color="black", weight=3];
2422 -> 1667[label="",style="dashed", color="red", weight=0];
2422[label="primMulNat vx3100 (Succ Zero)",fontsize=16,color="magenta"];2422 -> 2436[label="",style="dashed", color="magenta", weight=3];
2423[label="absReal0 (Float (Pos Zero) (Pos (Succ vx147))) otherwise",fontsize=16,color="black",shape="box"];2423 -> 2437[label="",style="solid", color="black", weight=3];
2424[label="Float (Pos Zero) (Pos (Succ vx147))",fontsize=16,color="green",shape="box"];380[label="absReal1 (Float (Pos Zero) (Pos Zero)) True",fontsize=16,color="black",shape="box"];380 -> 444[label="",style="solid", color="black", weight=3];
2433 -> 1667[label="",style="dashed", color="red", weight=0];
2433[label="primMulNat vx3100 (Succ Zero)",fontsize=16,color="magenta"];2433 -> 2535[label="",style="dashed", color="magenta", weight=3];
2434[label="absReal0 (Float (Pos Zero) (Neg (Succ vx161))) otherwise",fontsize=16,color="black",shape="box"];2434 -> 2536[label="",style="solid", color="black", weight=3];
2435[label="Float (Pos Zero) (Neg (Succ vx161))",fontsize=16,color="green",shape="box"];384[label="absReal1 (Float (Pos Zero) (Neg Zero)) True",fontsize=16,color="black",shape="box"];384 -> 448[label="",style="solid", color="black", weight=3];
2544 -> 1667[label="",style="dashed", color="red", weight=0];
2544[label="primMulNat vx3100 (Succ Zero)",fontsize=16,color="magenta"];2544 -> 2637[label="",style="dashed", color="magenta", weight=3];
2545[label="absReal0 (Float (Neg (Succ vx174)) (Pos (Succ vx175))) otherwise",fontsize=16,color="black",shape="box"];2545 -> 2638[label="",style="solid", color="black", weight=3];
2546[label="Float (Neg (Succ vx174)) (Pos (Succ vx175))",fontsize=16,color="green",shape="box"];388[label="absReal1 (Float (Neg (Succ vx3000)) (Pos Zero)) True",fontsize=16,color="black",shape="box"];388 -> 452[label="",style="solid", color="black", weight=3];
2646 -> 1667[label="",style="dashed", color="red", weight=0];
2646[label="primMulNat vx3100 (Succ Zero)",fontsize=16,color="magenta"];2646 -> 2718[label="",style="dashed", color="magenta", weight=3];
2647[label="absReal0 (Float (Neg (Succ vx187)) (Neg (Succ vx188))) otherwise",fontsize=16,color="black",shape="box"];2647 -> 2719[label="",style="solid", color="black", weight=3];
2648[label="Float (Neg (Succ vx187)) (Neg (Succ vx188))",fontsize=16,color="green",shape="box"];392[label="absReal1 (Float (Neg (Succ vx3000)) (Neg Zero)) True",fontsize=16,color="black",shape="box"];392 -> 456[label="",style="solid", color="black", weight=3];
2726 -> 1667[label="",style="dashed", color="red", weight=0];
2726[label="primMulNat vx3100 (Succ Zero)",fontsize=16,color="magenta"];2726 -> 2791[label="",style="dashed", color="magenta", weight=3];
2727[label="absReal0 (Float (Neg Zero) (Pos (Succ vx202))) otherwise",fontsize=16,color="black",shape="box"];2727 -> 2792[label="",style="solid", color="black", weight=3];
2728[label="Float (Neg Zero) (Pos (Succ vx202))",fontsize=16,color="green",shape="box"];396[label="absReal1 (Float (Neg Zero) (Pos Zero)) True",fontsize=16,color="black",shape="box"];396 -> 460[label="",style="solid", color="black", weight=3];
2795 -> 1667[label="",style="dashed", color="red", weight=0];
2795[label="primMulNat vx3100 (Succ Zero)",fontsize=16,color="magenta"];2795 -> 2801[label="",style="dashed", color="magenta", weight=3];
2796[label="absReal0 (Float (Neg Zero) (Neg (Succ vx213))) otherwise",fontsize=16,color="black",shape="box"];2796 -> 2802[label="",style="solid", color="black", weight=3];
2797[label="Float (Neg Zero) (Neg (Succ vx213))",fontsize=16,color="green",shape="box"];400[label="absReal1 (Float (Neg Zero) (Neg Zero)) True",fontsize=16,color="black",shape="box"];400 -> 464[label="",style="solid", color="black", weight=3];
1667[label="primMulNat vx3100 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];3004[label="vx3100/Succ vx31000",fontsize=10,color="white",style="solid",shape="box"];1667 -> 3004[label="",style="solid", color="burlywood", weight=9];
3004 -> 1691[label="",style="solid", color="burlywood", weight=3];
3005[label="vx3100/Zero",fontsize=10,color="white",style="solid",shape="box"];1667 -> 3005[label="",style="solid", color="burlywood", weight=9];
3005 -> 1692[label="",style="solid", color="burlywood", weight=3];
1081[label="primPlusNat (Succ vx290) (Succ Zero)",fontsize=16,color="black",shape="box"];1081 -> 1098[label="",style="solid", color="black", weight=3];
1082[label="primPlusNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];1082 -> 1099[label="",style="solid", color="black", weight=3];
1739[label="not (primCmpNat Zero (Succ vx2370) == LT)",fontsize=16,color="black",shape="box"];1739 -> 1758[label="",style="solid", color="black", weight=3];
1740 -> 1084[label="",style="dashed", color="red", weight=0];
1740[label="not (EQ == LT)",fontsize=16,color="magenta"];1757[label="absReal0 (Double (Pos (Succ vx15)) (Pos (Succ vx16))) True",fontsize=16,color="black",shape="box"];1757 -> 1831[label="",style="solid", color="black", weight=3];
404[label="Double (Pos (Succ vx3000)) (Pos Zero)",fontsize=16,color="green",shape="box"];1695[label="vx3100",fontsize=16,color="green",shape="box"];1083 -> 550[label="",style="dashed", color="red", weight=0];
1083[label="not (GT == LT)",fontsize=16,color="magenta"];1084[label="not (EQ == LT)",fontsize=16,color="black",shape="triangle"];1084 -> 1100[label="",style="solid", color="black", weight=3];
1696[label="absReal0 (Double (Pos (Succ vx22)) (Neg (Succ vx23))) True",fontsize=16,color="black",shape="box"];1696 -> 1759[label="",style="solid", color="black", weight=3];
408[label="Double (Pos (Succ vx3000)) (Neg Zero)",fontsize=16,color="green",shape="box"];1896[label="absReal0 (Double (Pos Zero) (Pos (Succ vx37))) True",fontsize=16,color="black",shape="box"];1896 -> 2007[label="",style="solid", color="black", weight=3];
412[label="Double (Pos Zero) (Pos Zero)",fontsize=16,color="green",shape="box"];1829[label="vx3100",fontsize=16,color="green",shape="box"];1830[label="absReal0 (Double (Pos Zero) (Neg (Succ vx51))) True",fontsize=16,color="black",shape="box"];1830 -> 1897[label="",style="solid", color="black", weight=3];
416[label="Double (Pos Zero) (Neg Zero)",fontsize=16,color="green",shape="box"];1990 -> 1758[label="",style="dashed", color="red", weight=0];
1990[label="not (LT == LT)",fontsize=16,color="magenta"];1991 -> 1084[label="",style="dashed", color="red", weight=0];
1991[label="not (EQ == LT)",fontsize=16,color="magenta"];2003[label="absReal0 (Double (Neg (Succ vx64)) (Pos (Succ vx65))) True",fontsize=16,color="black",shape="box"];2003 -> 2022[label="",style="solid", color="black", weight=3];
420[label="Double (Neg (Succ vx3000)) (Pos Zero)",fontsize=16,color="green",shape="box"];2004[label="vx3100",fontsize=16,color="green",shape="box"];2005[label="not (primCmpNat (Succ vx2640) Zero == LT)",fontsize=16,color="black",shape="box"];2005 -> 2023[label="",style="solid", color="black", weight=3];
2006 -> 1084[label="",style="dashed", color="red", weight=0];
2006[label="not (EQ == LT)",fontsize=16,color="magenta"];2021[label="absReal0 (Double (Neg (Succ vx77)) (Neg (Succ vx78))) True",fontsize=16,color="black",shape="box"];2021 -> 2092[label="",style="solid", color="black", weight=3];
424[label="Double (Neg (Succ vx3000)) (Neg Zero)",fontsize=16,color="green",shape="box"];2091[label="absReal0 (Double (Neg Zero) (Pos (Succ vx92))) True",fontsize=16,color="black",shape="box"];2091 -> 2105[label="",style="solid", color="black", weight=3];
428[label="Double (Neg Zero) (Pos Zero)",fontsize=16,color="green",shape="box"];2211[label="vx3100",fontsize=16,color="green",shape="box"];2212[label="absReal0 (Double (Neg Zero) (Neg (Succ vx103))) True",fontsize=16,color="black",shape="box"];2212 -> 2285[label="",style="solid", color="black", weight=3];
432[label="Double (Neg Zero) (Neg Zero)",fontsize=16,color="green",shape="box"];2296[label="vx3100",fontsize=16,color="green",shape="box"];2297[label="absReal0 (Float (Pos (Succ vx116)) (Pos (Succ vx117))) True",fontsize=16,color="black",shape="box"];2297 -> 2373[label="",style="solid", color="black", weight=3];
436[label="Float (Pos (Succ vx3000)) (Pos Zero)",fontsize=16,color="green",shape="box"];2371[label="vx3100",fontsize=16,color="green",shape="box"];2372[label="absReal0 (Float (Pos (Succ vx132)) (Neg (Succ vx133))) True",fontsize=16,color="black",shape="box"];2372 -> 2425[label="",style="solid", color="black", weight=3];
440[label="Float (Pos (Succ vx3000)) (Neg Zero)",fontsize=16,color="green",shape="box"];2436[label="vx3100",fontsize=16,color="green",shape="box"];2437[label="absReal0 (Float (Pos Zero) (Pos (Succ vx147))) True",fontsize=16,color="black",shape="box"];2437 -> 2537[label="",style="solid", color="black", weight=3];
444[label="Float (Pos Zero) (Pos Zero)",fontsize=16,color="green",shape="box"];2535[label="vx3100",fontsize=16,color="green",shape="box"];2536[label="absReal0 (Float (Pos Zero) (Neg (Succ vx161))) True",fontsize=16,color="black",shape="box"];2536 -> 2547[label="",style="solid", color="black", weight=3];
448[label="Float (Pos Zero) (Neg Zero)",fontsize=16,color="green",shape="box"];2637[label="vx3100",fontsize=16,color="green",shape="box"];2638[label="absReal0 (Float (Neg (Succ vx174)) (Pos (Succ vx175))) True",fontsize=16,color="black",shape="box"];2638 -> 2649[label="",style="solid", color="black", weight=3];
452[label="Float (Neg (Succ vx3000)) (Pos Zero)",fontsize=16,color="green",shape="box"];2718[label="vx3100",fontsize=16,color="green",shape="box"];2719[label="absReal0 (Float (Neg (Succ vx187)) (Neg (Succ vx188))) True",fontsize=16,color="black",shape="box"];2719 -> 2729[label="",style="solid", color="black", weight=3];
456[label="Float (Neg (Succ vx3000)) (Neg Zero)",fontsize=16,color="green",shape="box"];2791[label="vx3100",fontsize=16,color="green",shape="box"];2792[label="absReal0 (Float (Neg Zero) (Pos (Succ vx202))) True",fontsize=16,color="black",shape="box"];2792 -> 2798[label="",style="solid", color="black", weight=3];
460[label="Float (Neg Zero) (Pos Zero)",fontsize=16,color="green",shape="box"];2801[label="vx3100",fontsize=16,color="green",shape="box"];2802[label="absReal0 (Float (Neg Zero) (Neg (Succ vx213))) True",fontsize=16,color="black",shape="box"];2802 -> 2805[label="",style="solid", color="black", weight=3];
464[label="Float (Neg Zero) (Neg Zero)",fontsize=16,color="green",shape="box"];1691[label="primMulNat (Succ vx31000) (Succ Zero)",fontsize=16,color="black",shape="box"];1691 -> 1741[label="",style="solid", color="black", weight=3];
1692[label="primMulNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];1692 -> 1742[label="",style="solid", color="black", weight=3];
1098[label="Succ (Succ (primPlusNat vx290 Zero))",fontsize=16,color="green",shape="box"];1098 -> 1106[label="",style="dashed", color="green", weight=3];
1099[label="Succ Zero",fontsize=16,color="green",shape="box"];1758[label="not (LT == LT)",fontsize=16,color="black",shape="triangle"];1758 -> 1832[label="",style="solid", color="black", weight=3];
1831[label="`negate` Double (Pos (Succ vx15)) (Pos (Succ vx16))",fontsize=16,color="black",shape="box"];1831 -> 1898[label="",style="solid", color="black", weight=3];
550[label="not (GT == LT)",fontsize=16,color="black",shape="triangle"];550 -> 620[label="",style="solid", color="black", weight=3];
1100 -> 620[label="",style="dashed", color="red", weight=0];
1100[label="not False",fontsize=16,color="magenta"];1759[label="`negate` Double (Pos (Succ vx22)) (Neg (Succ vx23))",fontsize=16,color="black",shape="box"];1759 -> 1833[label="",style="solid", color="black", weight=3];
2007[label="`negate` Double (Pos Zero) (Pos (Succ vx37))",fontsize=16,color="black",shape="box"];2007 -> 2024[label="",style="solid", color="black", weight=3];
1897[label="`negate` Double (Pos Zero) (Neg (Succ vx51))",fontsize=16,color="black",shape="box"];1897 -> 2008[label="",style="solid", color="black", weight=3];
2022[label="`negate` Double (Neg (Succ vx64)) (Pos (Succ vx65))",fontsize=16,color="black",shape="box"];2022 -> 2093[label="",style="solid", color="black", weight=3];
2023 -> 550[label="",style="dashed", color="red", weight=0];
2023[label="not (GT == LT)",fontsize=16,color="magenta"];2092[label="`negate` Double (Neg (Succ vx77)) (Neg (Succ vx78))",fontsize=16,color="black",shape="box"];2092 -> 2106[label="",style="solid", color="black", weight=3];
2105[label="`negate` Double (Neg Zero) (Pos (Succ vx92))",fontsize=16,color="black",shape="box"];2105 -> 2213[label="",style="solid", color="black", weight=3];
2285[label="`negate` Double (Neg Zero) (Neg (Succ vx103))",fontsize=16,color="black",shape="box"];2285 -> 2298[label="",style="solid", color="black", weight=3];
2373[label="`negate` Float (Pos (Succ vx116)) (Pos (Succ vx117))",fontsize=16,color="black",shape="box"];2373 -> 2426[label="",style="solid", color="black", weight=3];
2425[label="`negate` Float (Pos (Succ vx132)) (Neg (Succ vx133))",fontsize=16,color="black",shape="box"];2425 -> 2438[label="",style="solid", color="black", weight=3];
2537[label="`negate` Float (Pos Zero) (Pos (Succ vx147))",fontsize=16,color="black",shape="box"];2537 -> 2548[label="",style="solid", color="black", weight=3];
2547[label="`negate` Float (Pos Zero) (Neg (Succ vx161))",fontsize=16,color="black",shape="box"];2547 -> 2639[label="",style="solid", color="black", weight=3];
2649[label="`negate` Float (Neg (Succ vx174)) (Pos (Succ vx175))",fontsize=16,color="black",shape="box"];2649 -> 2720[label="",style="solid", color="black", weight=3];
2729[label="`negate` Float (Neg (Succ vx187)) (Neg (Succ vx188))",fontsize=16,color="black",shape="box"];2729 -> 2793[label="",style="solid", color="black", weight=3];
2798[label="`negate` Float (Neg Zero) (Pos (Succ vx202))",fontsize=16,color="black",shape="box"];2798 -> 2803[label="",style="solid", color="black", weight=3];
2805[label="`negate` Float (Neg Zero) (Neg (Succ vx213))",fontsize=16,color="black",shape="box"];2805 -> 2808[label="",style="solid", color="black", weight=3];
1741 -> 1071[label="",style="dashed", color="red", weight=0];
1741[label="primPlusNat (primMulNat vx31000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];1741 -> 1760[label="",style="dashed", color="magenta", weight=3];
1742[label="Zero",fontsize=16,color="green",shape="box"];1106[label="primPlusNat vx290 Zero",fontsize=16,color="burlywood",shape="box"];3014[label="vx290/Succ vx2900",fontsize=10,color="white",style="solid",shape="box"];1106 -> 3014[label="",style="solid", color="burlywood", weight=9];
3014 -> 1112[label="",style="solid", color="burlywood", weight=3];
3015[label="vx290/Zero",fontsize=10,color="white",style="solid",shape="box"];1106 -> 3015[label="",style="solid", color="burlywood", weight=9];
3015 -> 1113[label="",style="solid", color="burlywood", weight=3];
1832[label="not True",fontsize=16,color="black",shape="box"];1832 -> 1899[label="",style="solid", color="black", weight=3];
1898[label="primNegDouble (Double (Pos (Succ vx15)) (Pos (Succ vx16)))",fontsize=16,color="black",shape="box"];1898 -> 2009[label="",style="solid", color="black", weight=3];
620[label="not False",fontsize=16,color="black",shape="triangle"];620 -> 698[label="",style="solid", color="black", weight=3];
1833[label="primNegDouble (Double (Pos (Succ vx22)) (Neg (Succ vx23)))",fontsize=16,color="black",shape="box"];1833 -> 1900[label="",style="solid", color="black", weight=3];
2024[label="primNegDouble (Double (Pos Zero) (Pos (Succ vx37)))",fontsize=16,color="black",shape="box"];2024 -> 2094[label="",style="solid", color="black", weight=3];
2008[label="primNegDouble (Double (Pos Zero) (Neg (Succ vx51)))",fontsize=16,color="black",shape="box"];2008 -> 2025[label="",style="solid", color="black", weight=3];
2093[label="primNegDouble (Double (Neg (Succ vx64)) (Pos (Succ vx65)))",fontsize=16,color="black",shape="box"];2093 -> 2107[label="",style="solid", color="black", weight=3];
2106[label="primNegDouble (Double (Neg (Succ vx77)) (Neg (Succ vx78)))",fontsize=16,color="black",shape="box"];2106 -> 2214[label="",style="solid", color="black", weight=3];
2213[label="primNegDouble (Double (Neg Zero) (Pos (Succ vx92)))",fontsize=16,color="black",shape="box"];2213 -> 2286[label="",style="solid", color="black", weight=3];
2298[label="primNegDouble (Double (Neg Zero) (Neg (Succ vx103)))",fontsize=16,color="black",shape="box"];2298 -> 2374[label="",style="solid", color="black", weight=3];
2426[label="primNegFloat (Float (Pos (Succ vx116)) (Pos (Succ vx117)))",fontsize=16,color="black",shape="box"];2426 -> 2439[label="",style="solid", color="black", weight=3];
2438[label="primNegFloat (Float (Pos (Succ vx132)) (Neg (Succ vx133)))",fontsize=16,color="black",shape="box"];2438 -> 2538[label="",style="solid", color="black", weight=3];
2548[label="primNegFloat (Float (Pos Zero) (Pos (Succ vx147)))",fontsize=16,color="black",shape="box"];2548 -> 2640[label="",style="solid", color="black", weight=3];
2639[label="primNegFloat (Float (Pos Zero) (Neg (Succ vx161)))",fontsize=16,color="black",shape="box"];2639 -> 2650[label="",style="solid", color="black", weight=3];
2720[label="primNegFloat (Float (Neg (Succ vx174)) (Pos (Succ vx175)))",fontsize=16,color="black",shape="box"];2720 -> 2730[label="",style="solid", color="black", weight=3];
2793[label="primNegFloat (Float (Neg (Succ vx187)) (Neg (Succ vx188)))",fontsize=16,color="black",shape="box"];2793 -> 2799[label="",style="solid", color="black", weight=3];
2803[label="primNegFloat (Float (Neg Zero) (Pos (Succ vx202)))",fontsize=16,color="black",shape="box"];2803 -> 2806[label="",style="solid", color="black", weight=3];
2808[label="primNegFloat (Float (Neg Zero) (Neg (Succ vx213)))",fontsize=16,color="black",shape="box"];2808 -> 2810[label="",style="solid", color="black", weight=3];
1760 -> 1667[label="",style="dashed", color="red", weight=0];
1760[label="primMulNat vx31000 (Succ Zero)",fontsize=16,color="magenta"];1760 -> 1834[label="",style="dashed", color="magenta", weight=3];
1112[label="primPlusNat (Succ vx2900) Zero",fontsize=16,color="black",shape="box"];1112 -> 1121[label="",style="solid", color="black", weight=3];
1113[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1113 -> 1122[label="",style="solid", color="black", weight=3];
1899[label="False",fontsize=16,color="green",shape="box"];2009[label="Double (`negate` Pos (Succ vx15)) (Pos (Succ vx16))",fontsize=16,color="green",shape="box"];2009 -> 2026[label="",style="dashed", color="green", weight=3];
698[label="True",fontsize=16,color="green",shape="box"];1900[label="Double (`negate` Pos (Succ vx22)) (Neg (Succ vx23))",fontsize=16,color="green",shape="box"];1900 -> 2013[label="",style="dashed", color="green", weight=3];
2094[label="Double (`negate` Pos Zero) (Pos (Succ vx37))",fontsize=16,color="green",shape="box"];2094 -> 2108[label="",style="dashed", color="green", weight=3];
2025[label="Double (`negate` Pos Zero) (Neg (Succ vx51))",fontsize=16,color="green",shape="box"];2025 -> 2095[label="",style="dashed", color="green", weight=3];
2107[label="Double (`negate` Neg (Succ vx64)) (Pos (Succ vx65))",fontsize=16,color="green",shape="box"];2107 -> 2215[label="",style="dashed", color="green", weight=3];
2214[label="Double (`negate` Neg (Succ vx77)) (Neg (Succ vx78))",fontsize=16,color="green",shape="box"];2214 -> 2287[label="",style="dashed", color="green", weight=3];
2286[label="Double (`negate` Neg Zero) (Pos (Succ vx92))",fontsize=16,color="green",shape="box"];2286 -> 2299[label="",style="dashed", color="green", weight=3];
2374[label="Double (`negate` Neg Zero) (Neg (Succ vx103))",fontsize=16,color="green",shape="box"];2374 -> 2427[label="",style="dashed", color="green", weight=3];
2439[label="Float (`negate` Pos (Succ vx116)) (Pos (Succ vx117))",fontsize=16,color="green",shape="box"];2439 -> 2539[label="",style="dashed", color="green", weight=3];
2538[label="Float (`negate` Pos (Succ vx132)) (Neg (Succ vx133))",fontsize=16,color="green",shape="box"];2538 -> 2549[label="",style="dashed", color="green", weight=3];
2640[label="Float (`negate` Pos Zero) (Pos (Succ vx147))",fontsize=16,color="green",shape="box"];2640 -> 2651[label="",style="dashed", color="green", weight=3];
2650[label="Float (`negate` Pos Zero) (Neg (Succ vx161))",fontsize=16,color="green",shape="box"];2650 -> 2721[label="",style="dashed", color="green", weight=3];
2730[label="Float (`negate` Neg (Succ vx174)) (Pos (Succ vx175))",fontsize=16,color="green",shape="box"];2730 -> 2794[label="",style="dashed", color="green", weight=3];
2799[label="Float (`negate` Neg (Succ vx187)) (Neg (Succ vx188))",fontsize=16,color="green",shape="box"];2799 -> 2804[label="",style="dashed", color="green", weight=3];
2806[label="Float (`negate` Neg Zero) (Pos (Succ vx202))",fontsize=16,color="green",shape="box"];2806 -> 2809[label="",style="dashed", color="green", weight=3];
2810[label="Float (`negate` Neg Zero) (Neg (Succ vx213))",fontsize=16,color="green",shape="box"];2810 -> 2811[label="",style="dashed", color="green", weight=3];
1834[label="vx31000",fontsize=16,color="green",shape="box"];1121[label="Succ vx2900",fontsize=16,color="green",shape="box"];1122[label="Zero",fontsize=16,color="green",shape="box"];2026 -> 2013[label="",style="dashed", color="red", weight=0];
2026[label="`negate` Pos (Succ vx15)",fontsize=16,color="magenta"];2026 -> 2096[label="",style="dashed", color="magenta", weight=3];
2013[label="`negate` Pos (Succ vx22)",fontsize=16,color="black",shape="triangle"];2013 -> 2030[label="",style="solid", color="black", weight=3];
2108 -> 2095[label="",style="dashed", color="red", weight=0];
2108[label="`negate` Pos Zero",fontsize=16,color="magenta"];2095[label="`negate` Pos Zero",fontsize=16,color="black",shape="triangle"];2095 -> 2109[label="",style="solid", color="black", weight=3];
2215 -> 114[label="",style="dashed", color="red", weight=0];
2215[label="`negate` Neg (Succ vx64)",fontsize=16,color="magenta"];2215 -> 2288[label="",style="dashed", color="magenta", weight=3];
2287 -> 114[label="",style="dashed", color="red", weight=0];
2287[label="`negate` Neg (Succ vx77)",fontsize=16,color="magenta"];2287 -> 2300[label="",style="dashed", color="magenta", weight=3];
2299[label="`negate` Neg Zero",fontsize=16,color="black",shape="triangle"];2299 -> 2375[label="",style="solid", color="black", weight=3];
2427 -> 2299[label="",style="dashed", color="red", weight=0];
2427[label="`negate` Neg Zero",fontsize=16,color="magenta"];2539 -> 2013[label="",style="dashed", color="red", weight=0];
2539[label="`negate` Pos (Succ vx116)",fontsize=16,color="magenta"];2539 -> 2550[label="",style="dashed", color="magenta", weight=3];
2549 -> 2013[label="",style="dashed", color="red", weight=0];
2549[label="`negate` Pos (Succ vx132)",fontsize=16,color="magenta"];2549 -> 2641[label="",style="dashed", color="magenta", weight=3];
2651 -> 2095[label="",style="dashed", color="red", weight=0];
2651[label="`negate` Pos Zero",fontsize=16,color="magenta"];2721 -> 2095[label="",style="dashed", color="red", weight=0];
2721[label="`negate` Pos Zero",fontsize=16,color="magenta"];2794 -> 114[label="",style="dashed", color="red", weight=0];
2794[label="`negate` Neg (Succ vx174)",fontsize=16,color="magenta"];2794 -> 2800[label="",style="dashed", color="magenta", weight=3];
2804 -> 114[label="",style="dashed", color="red", weight=0];
2804[label="`negate` Neg (Succ vx187)",fontsize=16,color="magenta"];2804 -> 2807[label="",style="dashed", color="magenta", weight=3];
2809 -> 2299[label="",style="dashed", color="red", weight=0];
2809[label="`negate` Neg Zero",fontsize=16,color="magenta"];2811 -> 2299[label="",style="dashed", color="red", weight=0];
2811[label="`negate` Neg Zero",fontsize=16,color="magenta"];2096[label="vx15",fontsize=16,color="green",shape="box"];2030[label="primNegInt (Pos (Succ vx22))",fontsize=16,color="black",shape="box"];2030 -> 2097[label="",style="solid", color="black", weight=3];
2109[label="primNegInt (Pos Zero)",fontsize=16,color="black",shape="box"];2109 -> 2216[label="",style="solid", color="black", weight=3];
2288[label="vx64",fontsize=16,color="green",shape="box"];2300[label="vx77",fontsize=16,color="green",shape="box"];2375[label="primNegInt (Neg Zero)",fontsize=16,color="black",shape="box"];2375 -> 2428[label="",style="solid", color="black", weight=3];
2550[label="vx116",fontsize=16,color="green",shape="box"];2641[label="vx132",fontsize=16,color="green",shape="box"];2800[label="vx174",fontsize=16,color="green",shape="box"];2807[label="vx187",fontsize=16,color="green",shape="box"];2097[label="Neg (Succ vx22)",fontsize=16,color="green",shape="box"];2216[label="Neg Zero",fontsize=16,color="green",shape="box"];2428[label="Pos Zero",fontsize=16,color="green",shape="box"];}

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ QDP

                  ↳ QDPSizeChangeProof

Q DP problem:
The TRS P consists of the following rules:

new_primMulNat(Succ(vx31000)) → new_primMulNat(vx31000)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_primMulNat(Succ(vx31000)) → new_primMulNat(vx31000)
The graph contains the following edges 1 > 1